Add syntax for type constraint clauses