Batcher: don't allow adding objects to the same batch twice; see #19