Support writing needed extension types

or maybe `(= true)` rather than `true?` would be more correct