Ensuring Isos are correctly created and exported for newtypes
Unifying various type-level AST information into a single data type + transformation