lookupTypeEnv   :: TypeEnv -> Name -> Maybe TyThing

emptyTypeEnv        = emptyNameEnv
lookupTypeEnv   :: TypeEnv -> Name -> Maybe TyThing
emptyTypeEnv        = emptyNameEnv
emptyTypeEnv        = emptyNameEnv