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