`BinExp::incompatibleTypes` has a better error message for this, and you need to return here on error.