make the proof term in the readiness type class "unreferencable"

As discussed at the RT-PROOFS meeting in Paris, proof terms should not have a name so that we don't actually directly depend on them in proofs. This patch removes the explicit name of the proof term in the readiness type class and introduces an equivalent lemma.

CC: @sbozhko and @mlesourd, please check that this matches what we agreed on.