PartialOrd: lt -> partial_cmp