Modify the target of a Lens in the current state returning some extra information of c or
modify all targets of a Traversal in the current state, extracting extra information of type c
and return a monoidal summary of the changes.