TYP: frompyfunc shape-typing and more accurate dtypes - #32753

def double(x: float) -> float: ...
def add(a: int, b: int) -> int: ...

u = np.frompyfunc(double, 1, 1)
v = np.frompyfunc(add, 2, 1)

reveal_type(u(np.ones((2, 3))))
# before: float | NDArray[object_[Any]]
# after:  ndarray[tuple[int, int], dtype[object_[float]]]

reveal_type(v(np.arange(3), 1))
# before: int | NDArray[object_[Any]]
# after:  ndarray[tuple[int], dtype[object_[int]]]

reveal_type(v.reduce([1, 2, 3]))
# before: int | NDArray[object_[Any]]
# after:  int