Python type-checker written in Rust - View it on GitHub