chore(tests/lean/run/group3): cleanup test
feat(frontends/lean/notation_cmd): notation defined in context overrides existing ones
refactor(frontends/lean/parser_config): merge notation_ext and mpz_notation_ext
feat(frontends/lean/notation_cmd): allow local numeric notation
feat(frontends/lean/notation_cmd): allow local numeric notation