lens-3.7: Lenses, Folds and Traversals