Even if we did all this annotation (which would be a massive amount of work), I think there is a high likelihood the annotations would be wrong, since the ultimate source of truth would be eager mode not the annotation.
I’d suggest utilizing OpInfo testing to ensure ONNX captures the behavior of every operator. This would also capture many more subtle behaviors that go beyond just dtypes.