Add tuple_lexicographical_compare