MODULE ::= EXPR*
EXPR ::= bool