Track private family instances specially, so the axioms can be exported
Need to freshen tyvars in mkFamInst to maintain invariant
Pretend instances were created via standalone deriving, for more useful error messages