Should Real be deleted in custom types?

[lockwo]

https://github.com/patrick-kidger/diffrax/blob/main/diffrax/_custom_types.py#L136 has all the jaxtyping imports but Real, I assume this wasn't intentional (or if so, why is that the case?)

[patrick-kidger]

Ah , just an oversight I think. Probably because jaxtyping.Real did not originally exist, so we had a Diffrax Real for a while before we upstreamed it.