Add pretty printing for record types
Mess with whitespace
Unify any constrained variables with the same super-type
Properly handle constrained variables when converting from Src.Type to Type.Type
Change functions for creating type variables, distinguish names of different constraint type variables