be consistent about safe imports and make more Typeable instances