Playing around with continuation-passing; fix in the reduction
rules for exception handling.