- builtin Why3 connectors and parens are "Operator", not "Keyword"
- square brackets are Normal (just like other used-defined ops)