FamInst
checkFamInstConsistency
tcExtendLocalFamInstEnv
tcLookupFamInst
tcLookupDataFamInst
tcGetFamInstEnvs