DISTINCT is now lazy, and keeps the incoming ordering