Implement completion in the repl