Stable type identifiers: a missing piece for crABI and export

To clarify the design: two types are considered the same if they share the same logical identifier derived from a canonical, a user-visible type path (for example, the public path used to reference the type). This system does not attempt to capture structural or semantic compatibility beyond that. Renames are explicit and detectable changes, not silent failures.