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

The non-typechecker changes from PR679. With tests this time.
What indirection (and what "trans") do you mean here?