Leo de Moura adds a polynomial arithmetic normalizer to Lean's Sym.simp