DDSXTY — Provide formal grammar for new IDL Type Representation constructs

The IDL Type Representation defines syntax for Type System concepts that were previously not expressible in IDL, such as annotations, maps, etc. This syntax is currently defined in prose and with examples. The specification should additionally provide a formal EBNF grammar.
Resolution:
Add EBNF grammar constructs to the relevant sections of the specification document.

Add EBNF grammar productions to the relevant sections of the specification document.
To avoid whitespace sensitivity in these productions, modify the Alternative (comment-like) Syntax when multiple annotations are applied. Instead of writing this:
//@MyFirstAnnotation @MySecondAnnotation
…write this:
//@MyFirstAnnotation //@MySecondAnnotation