Unbearably fast near-real-time pure-Python runtime-static type-checker.