Review and changes from Jocelyn Fiat

Makes sense to me.
Maybe I start with writing an effective class, the nonce manager.
Later, I could still implement a deferred interface.
This should be very easy, once I have the effective class.