https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.ContinuitySignature.InstantiateHSET.html
UniMath.SubstitutionSystems.ContinuitySignature.InstantiateHSET
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.ContinuitySignature.ContinuityOfMultiSortedSigToFunctor.html
UniMath.SubstitutionSystems.ContinuitySignature.ContinuityOfMultiSortedSigToFunctor