REPL has line-editing and history; also, better documentation and CLI