Fix support for translating newtypes
Fix TH and inferface loading bugs
Add typeNatOps to builtins to load