This is part of #2653. This is half done already: we support writing `@str` and `~str` for the types, but not for string literals