Yes, that was exactly what I was saying with 'def-extension-type, and I even mentioned that you could use 'def-extension-type verbatim too (not that the name would make sense).
I've just written my reply to "the O(n) efficiency of 'extend" over here: arclanguage.org/item?id=14374
