proper checking for TotallyOrdered in BinarySearchable