When simplifying expressions, revisit "IS NULL" if its argument has been simplified. For example, we currently simplify
but we should further simplify that to FALSE.
I have a preliminary dev branch, but it needs a little more debugging. I'd be grateful if someone could finish it.