Internal fractional tweaks.
- Add
Params
instance andProper
instances. - Use
tc_opaque
to preventiFrame
/iNext
from unfolding. (Since the definition is universally quantified, I think it's difficult to make a test this does not happen; unless it exposes the TC search debug info.) - Use
∗-∗
iniff
lemma to removeBiAffine
.