Add optimized REPL