iterated lambdas

parser.mly

@@ -58,12 +58,12 @@ obj:   ID                                 { Var (Id ($1)) }
      | LBRACK obj_elems RBRACK            { Obj ($2) }
 ;
 
-term:   obj                               { $1 }
-/*      | term term                          { App ($1, $2) } */
-      | LAMBDA LPAR ID COLUMN ty RPAR obj { Abst (Id ($3), $5, $7)}
-      | obj SELECT                        { Select ($1, label ($2)) }
-      | obj UPDATE meth                   { Update ($1, label ($2), $3) }
-      | obj FUPD term                     { Field_update ($1, label ($2), $3) }
+term:   obj                                { $1 }
+/*      | term term                           { App ($1, $2) } */
+      | LAMBDA LPAR ID COLUMN ty RPAR term { Abst (Id ($3), $5, $7)}
+      | obj SELECT                         { Select ($1, label ($2)) }
+      | obj UPDATE meth                    { Update ($1, label ($2), $3) }
+      | obj FUPD term                      { Field_update ($1, label ($2), $3) }
 ;
 
 meth:   SIGMA LPAR ID COLUMN ty RPAR term { Method (Id ($3), $5, $7) }