Make sure array types are valid
Work on more user-supplied type inference capabilities
Work on synthetic phi removal
Resolve graph reduction of strongly connected components problem
Added typing function for numpy.tensordot().