lens-2.4: Lenses, Folds and Traversals