Re: [GHC] #10666: Distinguish between semantic module / identity module in TcGblEnv, ModIface and ModGuts