lens-4.16: Lenses, Folds and Traversals