morph LambdaN2Lambda: LambdaN ==> Lambda {
  Exp[zero]()         ==> << \x.x >>
     [succ](E) E()=>E ==> << \x.<E> >>
     [pred](E) E()=>E ==> << ( <E> 0 ) >>
}