scobind/ti_bup/ti_tdn: keep track of conditional context within and
expressions.

This lets stuff like 'flg := R has Field and characteristic$R > 0' go through
algebra: Removed a few instances of 'P pretend X' where X can be inferred
from context.