lens-4.17: Lenses, Folds and Traversals