Добавить mypy или pyright

[gsvgit]

Для всех тестируемых функций мы предъявляем сигнатуру, возможно стоит прикрутить какой-нибудь mypy или pyright в заготовленный CI (за одним сами поймём, где сигнатуры получились не очень).

[WoWaster]

См PavlushaSource#2 и реализацию regex_to_dfa с кучей проверок из-за "хорошей" типизации в pyformlang