Define callcc in terms of callCC, where callCC is explained in the
callCC exercise under LAMBDA++, Lesson 1.  Follow a substitution-based style.
