Adding more readline stuff to REPL.