Removed some old RULES infrastrucutre that has now been replaced by Lemma infrastrucutre.