Generalized types for ((call)|(let))/[ec]c to allow n-ary continuations.

The non-typechecker changes from PR679. With tests this time.
Not that you shouldn't do it, but this is backwards incompatible change. If people were instantiating call/cc with two args, they no longer get the same type. Just make sure that you don't break anyone when submitting.