The four types of introverts