TypePropagatingSubstitution extracted from Unifier.