language LambdaNum extends Lambda {
  Exp[zero]  -->  0               ;
     [succ]  -->  succ ( <Exp> )  ;
     [pred]  -->  pred ( <Exp> )  ;
}