grouping.extras: new word group-by, like sql GROUP BY but is order-preserving
grouping.extras: group-by is faster with vectors.