Add production rules for grammar's system and type_ref
Rename subtype -> sub_type.
Spacing
Fix a few tests.
Let Constraint be first-class.
Fix factory of constraints.
Add production rules for constraints and sub types.