1) Нет.
2) Нет. Даже если бы 1) было верно, как соотносятся статическая типизация и структура программы? - никак.
3) Пока почти никто, можно ожидать в совсем новых фреймворках.
Если в лом читать PEP483/484,
вот тут разжевано с картинками. Еще короче - это хелпер для IDE (а так же линтеров итд).
