Blocks are not expressions
Loosen requirements on empty list literals
Rearrange grammar EBNF