Set Typeclasses Strict Resolution, close  #479

It works!  (NB: This bumps the coq submodule version, so you have to recompile coq after pulling it.)