better encapsulate modelling of var == null
fixup
decide at creation whether a variable models nullness

Replaces a fun yet explosive mix of mutability and laziness with dull immutability.
rename implications to symsImpliedAndExcluded