Use `class_apply` instead of `refine` to avoid unwanted evars

This is similar to 394075cc, and is required for compatibility with Coq's PR #7825.