Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.