chore(generator): подключён типчекер ty и цель make typecheck

- Зачем:
  - код генератора будет расти в #38/#39 — проверку типов лучше
    завести до реализации, чем типизировать задним числом.
- Что:
  - ty добавлен dev-зависимостью генератора (закреплён в uv.lock).
  - в Makefile добавлена цель typecheck, README обеих сторон обновлены.
- Проверка:
  - make typecheck && make lint && make test — всё зелено, 248 тестов.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

generator/README.md

@@ -22,6 +22,7 @@
 
 - `make test` — тесты генератора;
 - `make lint` — ruff: проверка и формат;
+- `make typecheck` — ty: проверка типов;
 - `make docs` — пересобрать описание выгрузки.
 
 Python и зависимости — через `uv`, версии закреплены в `uv.lock`: на этом