The Type 2 Manifesto