minor moving of some lemmas around

mainly into miscTheory