Fix default introduction
REVERT ME: remove inhibition support to debug alternatives
PartialGrammar: fix identifier checking
ARGGGGH
Cleanup
Relax invariants on Lr1 generation to match alternatives

FIXME: might be unsafe