If you have a formal write-up of your theory, I’d be more than happy to read it. In particular, it would be good to understand how are these framed in the usual mathematical theory. Even a pointer to the relevant part of your thesis or papers would be really helpful.
At any rate, I do think that the best way forward is to release this as a standalone library and, if it gets traction from the community, submit it as a feature request into core.