I didn't specify that a string should be a distinct datatype, but merely a datatype and a first class citizen of a language. If a language's type system is stro

I didn't specify that a string should be a distinct datatype, but merely a datatype and a first class citizen of a language. If a language's type system is strong enough, then obviously a distinct data type isn't needed.