Add missing typeclasses for twp.

Found that these were missing while playing around with changing a few wp proofs to twp proofs. This enables using iInv while proving twps.

I also added the instances for error messages, as they were also missing. A bit surprised that this was missing all this time and no one needed it.

changed the description

Thanks for the MR!

Just to be sure, these are verbatim copies of the wp instances, but changed to twp? Or did anything significant need changing?

Is it possible to add some tests. Perhaps if we have some for WP, we could copy them for TWP?

added 1 commit

• d615a823 - Add tests for TWP.

Compare with previous version

added 1 commit

• f5928e3c - Fix tests

Compare with previous version

Modulo very minor nit this looks good!

@jung Feel free to merge if you are happy about it too.

added 1 commit

• 423601f2 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

resolved all threads

mentioned in commit 0d08080c

merged

Looks good, thanks :)