String interpolation #40
Description
It's convenient enough to miss it a lot of times and makes many simple string literals more readable. But it would be nice if this was just a syntactic sugar of some sort, driven by an overload or something.
So, $"Hello there, {name}, and welcome!" would be desugared into "Hello there, " name show concat-string ", and welcome!" concat-string.