(models) added type to ExprBinary
renamed "type" to "computedType" in ExprBinary
IrTyper now uses ExprBinary's computedType if set
making it easier to influence the behavior of the type system adapter
now store the type used by the target type system in the expression