FamInst
checkFamInstConsistency
tcExtendLocalFamInstEnv
tcGetFamInstEnvs