remove reference to CompilerPrimitivesTheory from ml_repl_stepTheory