[Numpy-discussion] Re: Introducing `np.types`