[stmt.ranged] Fix terminal formatting in BNF.
[stmt.ranged] Change italics to grammarterm.
Merge pull request #423 from asutton/master

[stmt.ranged] Minor editorial issues