remove some trailing whitespace
move a theorem to miscTheory
save evaluate_repl_decs in bootstrap_lemmasTheory

this is the same as module_thm, but with the equality type assumptions
removed. probably that could all be moved earlier, into the
ml_repl_moduleTheory.