A REPL for Torch (7 and 9).