finish correcting the lifting of symmetric lenses to edit lenses
clean up and correct the discussion of translating edit lenses to symmetric lenses