Static type checking for python