Introduce a new kind of TemplateName that captures a substituted