[Numpy-discussion] Introducing `np.types`