(* Through a CPS transformation, the surface language [Lambda] is translated
down to the intermediate language [Tail]. *)
val cps_term: Lambda.term -> Tail.term