Stable type identifiers: a missing piece for crABI and export

ParaDevOne:

Given that the team is already considering a meeting to design this feature, don’t you think it’s time to reconsider the 64-bit limit and seek the most robust solution for ABI stability in Rust?

It seems to me that the first step would be to convince the relevant teams that TypeId should be intertwined with stable type identifiers in the first place.