A type that combines string literal types through template interpolation to produce new string literals.