fix sections
refactor grammar to use D, d for defintions, and \delta for dqs
nonterminal refactoring, text
adjust font sizes