boolopt

Do optimizations based on if we know an expression is 0 or !=0, even though we don't know anything else.