grouping.extras: new word group-by, like sql GROUP BY but is order-preserving
grouping.extras: group-by is faster with vectors.
grouping.extras: fix stack effect names for (group-by).