MODULE ::= EXPR*
EXPR ::=
  bool
| ident
| VARDECL
VARDECL ::= opar decl ident EXPR cpar