lens-5: Lenses, Folds and Traversals