Make help doc less specific

Concretely, do not mention left-associative interpretation of
arith. expressions because the latest Action grammar behaves
differently.
More straightforward arith. expression detection