Char = typeof do: var s: Str s[0]
Str = string
StrEmpty = ""
proc isEmpty(s: Str): bool {....raises: [], tags: [], forbids: [].}