lens-1.7: Lenses, Folds and Traversals