This captures the get and set properties provided by the language as a lens. Assumes that the fields already exist. The input is a vector of keys.

Constructs a lens from a getter and putter.