The Anatomy of Type