Changed type expression identifiers to type constructors.
Added syntactic type variables.
Added type definition construction.