feat(library/algebra/ordered_ring): start on ordered_ring, and minor changes elsewhere
refactor(library/algebra/ordered_ring): add workarounds to improve performance