Look into typing Data and SupervisedData instances

[db091756]

What's the new feature?

I think it would be very useful for developers and users to be able to type the array shapes in the Data and SupervisedData instances.

For example, if we want to type a function input we would do x: Data or x: SupervisedData. I think it would be nice to be able to type this something like x: Data[Shaped[Array, " n d"], Shaped[Array, " n"]] and x: SupervisedData[Shaped[Array, " n d"], Shaped[Array, " n p"], Shaped[Array, " n"]] , or just x: Data[" n d", "n"] and x: SupervisedData[" n d", " n p", "n"] .

I have no idea how much work this would be!

What value does this add?

Would make it clearer what our data instances contain.

Is there an alternative you've considered?

No response

Additional context

No response