some work on core contexts & target/core integration
Merge branch 'master' of https://github.com/phillipm/cps-from-stlc-to-sysf
context typo fixes