Stable type identifiers: a missing piece for crABI and export

You're right. After reading #3435 in detail, I see that it covers much more than I initially thought, including the move toward structural typing for types with public fields. I should have read it more carefully before starting this discussion. Thanks for the clarification.