delete reference to printerTheory in repl_funTheory