Initial spec for voids

Fixes #489.

This of course, currently fails. @matthewfl , you know what to do!