Support writing needed extension types

But I still don't think that statement would work, since 1, as previously demonstrated, is false.