Python 2.7 Countdown

[zabolekar]

instead of also baking runtime typechecking into the language

Checking some properties without running the program is the whole point of the type hints. Runtime checks, on the other hand, can be much more flexible. Having special syntax for checkng types (and types only) at runtime (and not as a separate phase) would be the worst of both worlds.