REPL support for Hammer