Update TODO
TODO
Bump term-rewriting dependency
Add instances for pairs