added from-callCC-to-callcc exercise for substitution LAMBDA++