fix and elaborate upon parametric lenses