7.2. Syntax

TODO: formally define syntax, and give examples