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

The non-typechecker changes from PR679. With tests this time.
Can you add test cases for the dotted cases? I think that you are missing the dotted bound on the generatead type.