fix: typechecker did not catch diff types for == and != operators

fix: typechecker did not catch diff types for == and != operators #36