Added a REPL, including top-level bindings for convenience