[frozen for bug reproduction] feat: integrate high-level order typeclasses with BEq and Ord

[frozen for bug reproduction] feat: integrate high-level order typeclasses with BEq and Ord #14452