A toolkit providing a collection of composable coordination abstractions on top of a Paxos derived consensus algorithm