feat: ordered ring typeclass for grind

[kim-em]

This PR adds Lean.Grind.Ring.IsOrdered, and cleans up the ring/module grind API. These typeclasses are at present unused, but will support future algorithmic improvements in grind.

[leanprover-community-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase c28b0525763b6afabee5e243f37b77a16c0be412 --onto efe2ab4c04e81fe2a3edcc0d861449490b4431b2. You can force Mathlib CI using the force-mathlib-ci label. (2025-05-21 07:16:52)