Support writing needed extension types

Ah, right you are.