Add printing to the repl semantics