Proof-of-concept zipper based refactoring