lens-5.3: Lenses, Folds and Traversals