Lexes Unicode names through generated hash in unicode-char-names.rkt