Refactor as software transactional memory with true store/collection/model lenses.