Minor changes to grammar.
Concrete syntax description.