preparing a separate demonstration of negotiated grammar transformations
improve/fix pretty-printing of Boolean grammars
example made perfect