Support Unicode Identifiers

(tiny change)

Closes #148