test(tests/lean/run): pre-quotient experiment
feat(library/algebra/group): add ordered semigroups