[WIP] Batching

Closes #282
~~~rust
// be generated to represent your the program. Search for `MyBatch` below, to see
~~~