A static type checker for Python

This work has been partially funded by the Department of Science and Innovation (Spain), under the National Program for Research, Development and Innovation: project TIN2011-25978.

We have also received funds from the European Union, through the European Regional Development Funds (ERDF); and the Principality of Asturias, through its Science, Technology and Innovation Plan (grant GRUPIN14-100).