Refer to the coercible paper in Coercible' docs

Implements parts of #8888.