Semantics of Staking 2: Re-staking

Barnabé Monnot