Unicode Characters in ASR #1909
Description
I notice that the Character ttype in ASR has only one kind, 1, denoting a single byte. Does that mean ASR cannot handle code that has Unicode in it? People frequently employ Greek symbols in mathematical Python code. How does ASR handle them?
As an aside, I think UTF-8 suffices for practical purposes. I don't think anyone uses other modes of Unicode nowadays.