pyramid_mergesort now also generic.