Grammar: forbid changing the symbol type

Changing whether a symbol is a terminal symbol affects the consistency
of the grammar, as nonterminals are required in some places. Also
changing a symbol's type effectively changes it's identity, so it is
sensible to not allow it at all.