Added ConqueTerm, mainly for REPL interaction