Consider adding `Ord::le`, `Ord::lt`, etc. to `Ord` trait

[michaeljklein]

Problem

1. <=, <, >, and >= are currently a type of builtin functions that require special handling e.g. in the monomorphizer and during type-checking
2. Being a type of builtin function, it's not currently possible to optimize <=, etc. in cases where they could be more efficient than e.g. a.cmp(b) != Ordering::Greater

Happy Case

• Add Ord::le, Ord::lt, etc. to the Ord case with default method implementations as specified in the monomorphizer, e.g.

pub trait Ord {
    fn cmp(self, other: Self) -> Ordering;

    fn le(self, other: Self) -> bool {
        
    }
}

• Have <= resolve to Ord::le, etc.
• Remove the special is_ord case added in fix: add missing unification to type_check_operator_method #11353
• Consider adding Eq::ne as well or making a follow up issue for it

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response