I might be missing the point but isn’t this what we use mypy et al for today?