Support writing needed extension types

Actually, I just removed them completely, they're not needed.