[Egraph] Fix the cleaning of use for repr

src/arith.ml

src/arith.mli

src/egraph_simple.ml

src/egraph_simple.mli

src/term.ml

src/term.mli

src/uninterp.ml

src/util/extmap.ml

src/util/extmap.mli

tests/tests_arith.ml