WIP smoothsort is now theoretically designed for any type.