make the repl semantics use an initial state

its type is now string -> repl_result -> bool