Add lenses to define-record-type.