Update tools, switching from mypy to ty
#15
+341
−376
Merged
Loading