ImportsInScope should have prisms instead of lenses.
Stub parseModule for tying together the phases in a loaded-Module state.