Make sure we have Hint Mode for every typeclass
We should have Hint Mode for all our Classes. We could detect this with some kind of shell script that greps for Class, extracts the name, and then greps for Hint Mode.
Currently known missing Modes:
-
IntoVal -
Wp -
Twp