Add true_sort. Fix true_array_map