     hashmapType
     hashsetType
     stringType
+    charType
     boolType
     numType
   ]

      when 'regex'
        regexCompile ctx, symbol
      when 'char'
        type: toConstrained typeConstant 'Char'
        translation: symbol
        pattern: literalPattern ctx, symbol
      when 'string'
        type: toConstrained stringType
        translation: symbol

hashmapType = new TypeConstr 'Map', kindFn 2
hashsetType = new TypeConstr 'Set', kindFn 1
stringType = typeConstant 'String'
charType = typeConstant 'Char'
boolType = typeConstant 'Bool'
numType = typeConstant 'Num'

