{
    Id       =  [a-z_] [a-z0-9_]*  ;

    Exp.var  :  Id                 ;
    Exp.lam  :  "\\" Id "." Exp    ;
    Exp.app  :  "(" Exp Exp ")"    ;
}