Type an expression in the context of a module.

When getting expressions from a typed module's metadata, they lose all context. It would be nice to be able to type an expression within a specific module, i.e. with usings, imports and (private) declarations available.

Alternatively, it would be helpful if a module's imports/usings were retrievable after it's typed, then most of the functionality could be cobbled together.