Support scheduling actual batches of "batch memory operations" on a stream

[eyalroz]

We currently support individual "batch memory operations" (see also #452); but we don't support scheduling actual batches of them. Let's add that support. We'll need to provide some sort of a poor man's variant class for these operations, so that the user doesn't have to manipulate the raw union of batch ops.