typhon. Static type inference for python. (Suspended due to lack of meta in standard lib)