[tf.data] Update `Dataset.reduce()` to use (more of) `Structure`.

We still explode the `Structure` into the types/shapes/classes to perform the "most specific compatible structure" calculation. It would probably make sense to support that calculation as a method on `Structure` and its subclasses.

PiperOrigin-RevId: 224600910