[dragonwriter]

> Yes there are type annotations, but they are just that at the moment, annotations. There isn't, as far as I know, a good type checker

Mypy is a good type checker.