Export symbol id -> the type ids the checker gave for it.

Ids deliberately not resolved, with the reason - the depth cutoff, or a response the compiler could not encode - so a reader of the table can tell "not followed" from "missing".

The type table. Closed: every id referenced by a `TypeFacts` is a key here or in `NotFollowed` - that closure is the tier's invariant.