Crude type checker integration, untested.
Rewrite binary expression tests.
Merge pull request #37 from 0xfaded/carl_integrate_binary_checks

[r=Rocky] Integrate binary checks