transformation LambdaNum2Lambda: LambdaNum ==> Lambda { transform Exp; Exp[zero]() ==> << \z.z >> [succ](E) E()=>X ==> << \x. >> [pred](E) E()=>X ==> << ( \z.z ) >> }