Unfortunately (for me), Scheme users and the others in the WG really want native support for subtyping. SRFI 256 is my attempt to find an inoffensive means of doing this as a minimal extension, but I think it fails: I’ll probably withdraw it rather than take it through to finalization.
Plus, even once we have subtyping, our commitment to transparent R6RS interoperability *probably* means it has to be the R6RS subtyping system, with its baked-in sealedness and opacity support. Grumble grumble