SI-5086 clean up EBNF

- sequences of block statements were wrong
  (btw, note that BlockStat matches the empty sequence of tokens)
- lexical syntax was pretty messy: clarified, removed extraneous backslashes