perf: Replacement.apply

[leodemoura]

Avoid potentially expensive e.replace if it is not applicable.

[leodemoura]

!bench

[leanprover-community-mathlib4-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 8e396068e4986ad2988dc014d20dc0823d5a8569 --onto 7aec6c9ae7a54935ada0df0b4cc1efafc2291007. (2024-07-17 16:13:39)

[leanprover-bot]

Here are the benchmark results for commit c272ee2.
There were significant changes against commit 8e39606:

  Benchmark   Metric             Change
  ===============================================
- stdlib      fix level params     3.1% (990.6 σ)