Use unless for error checking in inferArithBinary and inferLogicalBinary.