[sali0]

I am not sure if this the same, but this reminds me of the Abilities system on the Move language[0]. It allows you to create linear, affine or other type constraints in a pretty flexible way.

[0] https://move-book.com/move-basics/abilities-introduction.htm...