Homogenize optics usage using `optics-core`

The new preferred way of defining optics is to use `optics-core` which is very complete. `lens` still can be found in our dependency tree, sometimes alongside `microlens`. We need to proceed as follow:
* Each usage of `lens`, `microlens` or other optics library corresponding to queries to other library that requires it is legit
* Each other usage should be replaced by a similar call in `optics-core`.

Search the repository for uses of `lens`, `microlens`, and other optics libraries, then inspect each use to determine whether it supports a query to another library. Replace only non-legitimate optics usage with equivalent `optics-core` calls, leaving required integrations intact; completion means no unnecessary alternative optics usage remains.

Written by the indexing model from the issue text.