The mutuallyUseless.ml example now type-checks, so I think that the constraint solving is now complete.

Funny how I wrote this addition to the code, compiled, and it just worked. Haven't had that in a while.