WYCS: added an appropriate fix for type checking binary expressions.