Interpolable strings. As yet unused, but might be handy at some point.