[sledge] Extend Exp.typ to binary and ternary ops
[sledge] Extend Exp.typ to binary and ternary ops

Summary:
Most binary and ternary operations have the same type as their
arguments, so try to compute the type of arguments in these cases.

Reviewed By: kren1

Differential Revision: D15706576

fbshipit-source-id: 4749d6e32

facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer