Making mergesort generic and verbosifying (WIP)