Thank you for the pitch!
I'm not sure I understand the "Implications on adoption" section correctly. It looks that metatype keypaths will have an observable behavior of Equatable that will depend on the operating system?
Also, one of the linked use cases mentions the interaction of metatype keypaths with SE-0252 Key Path Member Lookup. Does the proposal include support for the mentioned use case?