Given the recent re-discovery that TYPE-OF cannot be defined to have the same precise behavior in all Common Lisps, it seems we should rename `types' to be `sorts' and therefore rename `TYPE-OF' to be `SORT-OF.' -rpg-