Check typed op untyped binary expressions.
Check typed op untyped binary expressions tests.