lens-4.0: Lenses, Folds and Traversals