Reverse arguments to constructors in the cps2 transform
Reverse arguments to constructors in the cps2 transform

cps2 transformed the constructor T(x1,x2,x3) to T(x3,x2,x1) because
the continuations piled up from the inside out.

coq-ext-lib/coq-compile,coq-ext-lib/coq-compile