language LambdaB extends Lambda {
  Exp[true]  --> true                 ;
     [false] --> false                ;
     [if]    --> if <Exp> <Exp> <Exp> ;
}