lens-4.1: Lenses, Folds and Traversals