A warm atom is an atom with an ordinary aura. The type of a warm atom is, conceptually, the set of all possible values for that aura. For example, the cord
'foo' nests under the type of the cord
'bar' - they both have
@t auras. This is in contrast to a cold atom, where its type is an exact value.