On the Structure of Type