Support writing needed extension types

Should this say something about serialization format?