Related to #13618

I’m creating this issue to avoid any overlap with other contributors. This task will include implementing lexicographic type comparison using infer_binary_type_comparison.