on the other thought:  why don't we just allow arbitrary types to be the actual constraints? e.g. here  ```constraints=float``` -- makes it transparent, shorter and generic (any type, even not defined by us, could then be a constraint... ?)