Better recognition of evars that are subject to typeclass resolution. Fixes bug reported by J. Gross on coq-club.