Lift restrictions on identifiers

Allow non-ASCII characters and most of the punctuation