A few experiments in direct proof search.

Can we prove uncurry?
