VL: linter tweaks
 - Avoid regarding things like 1-1 as weird in contexts like foo[1-1:0].
 - Suppress precedence warnings on things like "a - b - c".
Merge remote-tracking branch 'remotes/xb/master'
fix bug in bit-use-set handling of statements
include some accidentally omitted documentation