Automatic type verificator for Python