8.2.4 Disjointness of Types
No object satisfies more than one of the following predicates:
boolean?
pair?
symbol?
keyword?
quantity?
char?
string?
procedure?
These predicates define the types boolean, pair, symbol, keyword, quantity, char (or character), string, and procedure.