Definition of the concrete syntax rules.
These definitions use the convenience constructors for the abstract syntax.