language Lambda {
  nonterminal Exp;

  Exp[id]      -->  <Id.Id>             ;
     [lambda]  -->  \\ <Id.Id> . <Exp>  ;
     [apply]   -->  ( <Exp> <Exp> )     ;
}