note some things to do in the future
checkpoint: begin correcting and simplifying the lifting of symmetric lenses to edit lenses