start refactor to lens traversals