make exports visible as top-level identifiers in REPL