(* Introduction of closures, uncurrying, recognition of direct calls *)
val intro: Lambda.lambda -> Clambda.ulambda