Update some bugs about typeclass resolution
Merge branch 'tc-test-suite' of https://github.com/JasonGross/coq into JasonGross-tc
Add an option to disable typeclass resolution during conversion, which
is has non-local effects. For now it is not disabled by default, but we'll
try to disable it once the test-suite and contribs are stabilized.
Fix bug # 3325 using canonical structure declarations where needed.