[lukasLansky]

It's not a string either though: in the same way integer addition (almost always) does not make sense, string concatenation (almost always) does not make sense either. The proper type would allow for equality check and explicit string (de)serialization only.

[jdmichal]

I meant string in a more casual sense. From a more technical sense, it would be a symbol. I'll be more precise in the future.