Dybvig's module system and interactivity

[Mikael Djurfeldt]

I think it's nice to be able to "walk around" among modules, make
modifications etc. during development.

Maybe it's possible to modify Dybvig's implementation so that, instead
of using one top-level environment, we place top-level bindings in
separate modules, but let the expander expand references directly into
glocs, thereby bypassing module borders?