Fixed context opening, I think../..
Merge branch 'master' of https://github.com/phillipm/cps-from-stlc-to-sysf
Core compiles now