(broken) Implement Fig 8. Control Operators: Syntax, Values, and Semantics (mostly)