Stable type identifiers: a missing piece for crABI and export

After reading #3435 more closely, I realize that my proposal overlaps significantly with it. However, the question I asked in post #14 remains open for me: is there any existing work or discussion on stable type identification that isn’t directly tied to ABI compatibility?