"belong to types and also types do not consist of properties." . . . .