"A type is a kind of object that defines the state, behavior and applicability of other entities, called its instances." . . . .