FamInst
checkFamInstConsistency
tcExtendLocalFamInstEnv
tcLookupFamInst
tcGetFamInstEnvs
newFamInst