Add lemmas that say that `curry{3,4}?` and `uncurry{3,4}?` are inverses.