[translation] update reduce_* tests to test type inference
[translation] update reduce_* tests to test type inference

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