Batcher: add the beginnings of the implementation; see #19