lens-2.3: Lenses, Folds and Traversals