Add representation of modules.
Disentangle definition of values from implementation of evaluation.
Rename Env' to Bindings.
Store imports with modules.
Start implementing concrete syntax for modules.
Disentangle output streams.