This denotes the set of conses whose car is constrained to be of typecar-typespec and whose cdr is constrained to be of typecdr-typespec. (If either car-typespec or cdr-typespec is *, it is as if the typet had been denoted.)