Add more subst and lift lemmas
Merge pull request #16 from knuton/more_subst_lemmas

Add more subst and lift lemmas