Invoke operator overload to create a PLens of type S with target A. Can also be used to construct Lens
S
A