Batches as Virtual Mu Types

This post is the third in a series of me trying to work out batches, a