Generalized types for ((call)|(let))/[ec]c to allow n-ary continuations.
Fixed support for valuesdots with let/ec.
Moved type transformation logic out of annotate-classes back into prims.