Refactor Fold and add Simple Lens/Traversal