Fix a horrid bug in removing rules from grammars.

Sense of a test was inverted when working over a grammar's binders.
Const annotation in the pretty-printer wasn't happening for binders.