FIFO stuff

Actually the given solution is OK, too, I think, provided you make Update have the same check as Add (update and add are from the perspective of the server and don't imply anything about the item's presence in the client's queue) and add a comment in the FIFO struct to the effect that we depend on the property that items in the set are also in the queue and vice versa.