Use Set Keyed Unification, close #531.
This commit bumps the coq submodule version.