revisit the implementation of lenses

Lenses hvae been implemented, but since then have not been used and the description and definition must probably be updated