Rename the instantiation operator to '~~'.  The idea is that

   ~~ ~~ Eq.t

means "Eq.t instantiated with two (as yet undetermined) arguments".
There are also fewer parentheses than before.

We should probably change the order of arguments to 'app' to match.