Type has a formal definition for sure, but it is quite different from its more accepted informal definition. There are also those who study types for the sake of types and those who are more interested in type systems for the sake of building programming languages...these are increasingly very different fields.