Thinking of Types as Sets of Values