Sorry, I meant "are these to be interpreted as equality constraints, or inequality constraints?" If you like the `Constraints` type below, then this isn't an issue.