[thingification]

It uses types to get quoting right? Or it quotes everything (regardless if it's already quoted)?

Ironically, the first time I saw the former was in a Python templating library (in the early 2000s -- from distant memory I think it might have been the work of the MemsExchange team?)

[eddd-ddde]

Formatters basically differentiate the literal parts of the string and the template arguments. There's also a neat postgres library that does the same for sql quoting.