[WIP] Batching

Closes #282
> For this, we'd need dependantly typed lifetimes, which Niko has planned for after 1.0

WHOAHA?! What is this wizardry Mr. @nikomatsakis?!