Convert type-grammars to use deltas for updates

This is very much analogous to what has been done for term grammars.

Record grammar deltas in Parse

These are not used for any other purpose just yet, and the set of
possible grammar deltas is not yet big enough. (Next addition:
overload_on).