1. simple syntactic transformation: plus Zero n = n plus Succ m n = Succ plus m n
simple syntactic transformation: |