Stricter clarity names

[njordhov]

Parsing clarity names should be stricter, excluding operators as starting characters like in the canonical parser. The terminals for symbol and operator can be changed accordingly.