Added REPL to driver; removed debug code