lens-1.3: Lenses, Folds and Traversals