typechecker: Error on trivial equality checks on primitives.

Summary: I deleted the typing_fail_int_float.php test because it was failing with the
new check, and it didn't actually seem to be testing for any fails...

Reviewed By: @elgenie

Differential Revision: D1540609