chore(*): add mathlib4 synchronization comments (#18325)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.big_operators.intervals`
* `algebra.free`
* `algebra.geom_sum`
* `algebra.hom.freiman`
* `algebra.module.submodule.lattice`
* `algebra.module.ulift`
* `data.finset.slice`
* `data.finsupp.fin`
* `data.finsupp.indicator`
* `data.finsupp.pointwise`
* `data.num.bitwise`
* `data.pnat.interval`
* `data.set.pointwise.finite`
* `data.set.pointwise.support`
* `group_theory.semidirect_product`
* `number_theory.divisors`
* `order.disjointed`
