Show human readable types in type errors
Fix a kind checking error, add support for 'extern data'
Fix type synonym bugs
Introduce saturated type synonyms to allow type synonyms to persist until unification