We identify many types of thing: animals, plants, concepts, pictures. Any one type is usually a member of a hierarchy (such as clothing-> outdoor-> footwear-> boot or Painting-> Landscape-> Rembrandt). In this way types allow us to workout how things can be accumulated, grouped and compared.

Using these relationships make any programming more reliable – including Excel formulas.