Cleaned a bit stage-1 translator. Added option to retain toplevel constants.

Retaining toplevel constants are required for REPL.