fix wft_arrow def
finished subst lemmas, onto wft
Merge branch 'master' of https://github.com/phillipm/cps-from-stlc-to-sysf