[translation] add support for BinOp type inference
[translation] add support for BinOp type inference

12yujim/pymtl,jck/pymtl,Glyfina-Fernando/pymtl,cfelton/pymtl,Glyfina-Fernando/pymtl,Glyfina-Fernando/pymtl,tj93/pymtl,jck/pymtl,cfelton/pymtl,12yujim/pymtl,cornell-brg/pymtl,tj93/pymtl,jjffryan/pymtl,tj93/pymtl,jck/pymtl,12yujim/pymtl,cfelton/pymtl,jjffryan/pymtl,cornell-brg/pymtl,jjffryan/pymtl,cornell-brg/pymtl