We don't actually want unicode here
Parse identifiers with ^ and ⋆ in them.

Fixes #298.