Beyond structural editing: semantic editing! https://reasonablypolymorphic.com/blog/towards-tactics/index.html (Uses Coq-style tactics.)