Check typed op untyped binary expressions.
Check typed op untyped binary expressions tests.
Merge pull request #34 from 0xfaded/carl_check_typed_const_exprs

Let's not belabor this. This is good and necessary work, even if there's a lot more still to do.  Onward! 

Many thanks.