Make an operative summary of different implementation outputs

[jaromil]

Somewhere at the end of the implementation section there could be an operative summary of different outputs, something like:

• claim = m' = H(m:nonce) generic credential
• Basic proof H:r:σ
• Basic disclosure {H,r,σ,m'}
• One time proof {H, r, σ, t, pkt, σt}
• One time disclosure {H, r, σ, m', t, pkt, σt}