[...] as a rough-and-ready indication of what we mean by a "type," we may say that individuals, classes of individuals, relations between individuals, relations between classes, relations of classes to individuals, and so on, are different types.
Bertrand Russell: Introduction to Mathematical Philosophy