various improvements to repl and better history