type checking for Python