“there is no all-purpose definition of introversion or extroversion; these are not unitary categories, like “curly-haired” or “sixteen-year-old,” in which everyone can agree on who qualifies for inclusion.”