Type analysis for python