Link to corresponding Arxiv article

[impredicative]

The following link to the corresponding Arxiv article can probably be documented both in the repo readme and in the docs:

https://arxiv.org/abs/2205.03373

[AldoGl]

We'll do it, thanks!