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

The non-typechecker changes from PR679. With tests this time.