Add some extra lift and subst lemmas
Merge pull request #13 from knuton/extra_lift_subst_lem

Add some extra lift and subst lemmas