HERMIT.GHC.Typechecker

initTcFromModGuts

mk_type_env

tcLookupGlobal