enhance infer-tag so that that if we return either 'boolean or 'seq,
inference works out. supporting change, simple-bool-expr? ->
simple-test-expr?, now most instances of a test on the result of `seq`
or `next` no longer needs truth tests.