Constraints

Some constraints that are necessary to work with when dealing with algorithms cannot be separated into concept or contracts. They are a combination of both. In particular, I'm thinking about a constraint named "Convex". When applied to a co-domain, you need to check both a Concept part and a Contract part.