Better result printing and input fixes for repl