Add (parsing) support for flag, mask fields.

This commit adds the front-end support for expressions like:
foo(flags(READ | WRITE)) == 0    // call to foo must include READ and WRITE
foo(bitmask(READ | WRITE)) == 0  // call to foo may only include READ and WRITE