Stable type identifiers: a missing piece for crABI and export

I already acknowledged this in post #14; my proposal addresses a different problem than the one #3435 needs. The question I’ve been asking ever since (posts #14 and #28) is whether there is any prior work on stable type identification that isn’t directly tied to ABI compatibility. That question remains unanswered.