Here are some proposal for optics names. The goal is to give a better intuition to beginners, especially people with no FP experience.
Setter->Replace,Modify,WriteFold->AggregateNonEmptyFold->ReduceGetter->ReadReadOnlyOptional-> ???Traversal-> ???NonEmptyTraversal-> ???Optional->FindPrism->Subset,Select,BranchLens->Field,FocusIso->Equivalent,Equivalence,Conversion
Insipration from tofu-optics
How about:
Fold -> Aggregate
NonEmptyFold -> Reduce