pulled in low-level lemmas file from FCAT, deleted multi-language related stuff
added substitution lemma