@dpk @krans Great that all this could be implemented on top of SRFI-9!
What’s missing though, and can hardly be added, is subtyping. Of the features listed on the wiki page you mention, that’s the one I would add.
SRFI-99 looks like a good compromise?