Allow using the ModuleVisitor without side effects (only reusing the
existing modules and packages)
This is for the IDE (EditorPhasedUnits and binary-archive
ExternalPhasedUnits typechecked on-the-fly)
This doesn't change anything by default