Constraint - modelint/types GitHub Wiki

By applying a constraint to Type, we define a new Type