Add a variant of refine which does no typeclass resolution
Add a variant of refine which does no typeclass resolution

For use in implementing Hint Externs during typeclass resolution.

mattam82/coq,mattam82/coq,mattam82/coq