Language specifications for strings

[Zac-HD (Zac Hatfield-Dodds)]

I think this could be a good use for the Annotated type, per this new issue.