edit lecture: lecture 30: add list zipper