addAllInstancesOfSigs addInstancesOfSig addInstancesOfSigs addTInstName allQIdsOfAssert allQIdsOfAsserts allQIdsOfSigs allQIdsOfTerm emptyTPSubst funSigTermsToCommands isTypeParameter matchSort matchSorts nameOfSig reduceAsInCmd reduceAsInTerm rnmDefSig rnmFunSig rnmQId rnmQIdWithTInst rnmQIdWithTInstTerm rnmTerm sAssert showSort sigNameSort sigTypeAsSort simpTerm sortIdsOfSort sortOfSortedVar sortedConst sortsOfTerm substDefSig substFunSig substQId substSV substSort substTerm toTInstName typeParamsOfFunSig typeParamsOfQId typeParamsOfSV typeParamsOfSort typeParamsOfTerm unpoly