passed typechecking; types inside Val and Env adjusted to CPS style
(mostly closures Cont -> Val')
value of env back to Val' (instead of Cont -> Val' closure); adjusted
evalExpr; first simple test passing
working version with Rec