Constraints and validation

Constraints are very closely related to the concept of type validation, not business validation. Just an observation.