Support writing needed extension types

I would be okay without a pre-check, but then I would definitely add in the docstring that this is a boolean, and I would remove the `boolean` coercion.