Support for non-ASCII characters in variable names

Fixes #305