Parser/AST: anonymous type with subtype constraint
Parser/AST: named type
Parser/AST: named type
Parser/AST: tuple and function type
Parser/AST: array type
Parser/AST: tuple pattern corrections
Parser/AST: type constrained pattern