Fixed grammar in Introduction and Syntax Notation, eliminated description of _opt in grammars (we don't seem to use this)