Pass env through desugaring, use for newtypes
Refactor ProperName -> Ident conversions