A type system for Python backed by llvm and ctypes - View it on GitHub