deftype/defrecord reachable when intending on subclassing

[NickPermyakov]

It seems to me there's a decision step missing, as neither deftype nor defrecord supports extending an existing base class, yet there's a path to them (via the "Named type" arrow) that doesn't rule out subclassing.