headers for the latest batch of tweaks and typestatus 1.3