pub type TermId = u32;
Dictionary index for a term. Chosen as u32 to keep triple arrays at 12 bytes each; the 4B ceiling is unreachable in practice.
u32