Fix a bug with the BasicREPL
Add a test for the dumb REPL