Types as sets