lens-4.5: Lenses, Folds and Traversals