semantic: Don't bother continuing after resolving null in bin exp.
test: Update passing on types 21.