Set Typeclasses Strict Resolution, close  #479

It works!  (NB: This bumps the coq submodule version, so you have to recompile coq after pulling it.)
What's the reason for changing this bit in this pull request?