lens-2.5: Lenses, Folds and Traversals