[stmt.ranged] Fix terminal formatting in BNF.
[stmt.ranged] Change italics to grammarterm.