output of interpret is supposed to be (output value). also, keep buffer while receiving input
completions, synchronous evaluate and more
move markers on input and output, qualify output from result
proper REPL error reporting
idris-rex doesn't get any process anymore, but uses idris-process -- contain that variable in inferior-idris.el