STypeVariableSubstitution