`PartialLens`

also some renaming