Improved Void.

Added improved support for writing void specifications.

All the void stuff is written to a single file.