test(tests/lean/extra): more tests for equation elaborator
feat(library/algebra/ordered_ring): start on ordered_ring, and minor changes elsewhere
refactor(library/algebra/ordered_ring): add workarounds to improve performance