These ids end up in the automaton, so making them smaller should give us better data cache locality and also smaller serialized sizes.
These ids end up in the automaton, so making them smaller should give us better data cache locality and also smaller serialized sizes.