Different treatment of atomic premise in type class.

In Coq 8.6 type class search is not called recursively on premises
that are not type classes. To that end, we use a hint extern to invoke
an ordinary auto.
1 job for master in 10 minutes
Status Name Job ID Coverage
  Test
passed buildjob #1342
coq

00:10:00