Koby Lewis comments on A Call for Better Type Hints in AI Safety Tooling