Add TimSorter (no galloping yet).