Initial hacking on a semantics for GV.
a big-step semantics for GV
Merge branch 'master' of https://github.com/jgbm/cp
accomodate Garrett's changes to the syntax of GV
Fix stupid bug with recursive calls to the GV evaluator.
tweaks