Use [notypeclasses refine] instead of eapply in iLöb and iNext, to workaround...

Use [notypeclasses refine] instead of eapply in iLöb and iNext, to workaround the confusion of apply wrt canonical structures.
2 jobs for gen_proofmode in 3 minutes and 43 seconds (queued for 2 seconds)