[Numpy-discussion] Type annotations for NumPy