More specifically, all compound data types documented in The Racket Reference > Datatypes, plus syntax objects. Non-compound data types will not be handled specially; they'll convert to expectations that check the input is equal? to the converted value, but that may be equivalent to an eq? or eqv? comparison depending on the type. Where possible, the compound expectations should reuse attributes and contexts.