Implement REPL

Implement REPL.