Don't pollute top level with example type definitions.
Major lens reworking.
Added case class update/patch example.