Type Analysis of Python