[translation] implemented chained type inference (#44)
[translation] implemented chained type inference (#44)

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