morph LambdaB2Lambda: LambdaB ==> Lambda {
  Exp[true]()                                  ==> << \x.\y.x >>
     [false]()                                 ==> << \x.\y.y >>
     [if](E1,E2,E3) E1()=>E1,E2()=>E2,E3()=>E3 ==> << ( ( <E1> <E2> ) <E3> ) >>
}