pub type CounterId = u16;
Unique identifier for a counter within an NFA.
u16 is intentional: keeps TransitionKind at 4 bytes (vs 8 with u32), halving transition growth. 65K counters is far beyond any real schema.
TransitionKind