FamInst
checkFamInstConsistency
tcExtendLocalFamInstEnv