Generalize `wholeModule`'s type

[S11001001]

wholeModule in Ermine.Parser.Module shouldn't assume it can get at a Module, because we might throw it away in favor of a more "compiled" representation in the cache. So its signature should be generalized, perhaps the way importedFixities is generalized.

The same applies to Ermine.Console.Module.moduleLoader's MonadState constraint, which is too specific to support different representations of the module cache. The solution is less obvious here, though.