TypePropagatingSubstitution updated according to the new Substitution definition.