move repl into kernel