Simple types fall into one of three categories:

• atomic - an indivisible value (integer, word tokens, etc.)

• lists - lists of atomic types

• unions - unions of the values for atomic or list types..

All types are created--even the built-in types--by derivations amongst the above categories.