Allow getting module contents from REPL

This separates the phase which selects exported symbols among all
defined ones.

This also updates docs.
M ↦ Eval for clarity

Discussed with Tillmann. My main reason to fix this is for `:browse` in
`cabal repl`.