1.2.7 Disjointness of Types

Every object satisfies at most one of the following predicates (but see True and False, for an exception):

     bit-string?     environment?    port?           symbol?
     boolean?        null?           procedure?      vector?
     cell?           number?         promise?        weak-pair?
     char?           pair?           string?
     condition?