Local definitions using where

A postfix syntax for local definitions is provided:

expr:
      ...
   |  expr where [rec] let-binding

The expression expr where let-binding behaves exactly as let let-binding in expr, and similarly for where rec and let rec.