Language specifications for strings

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