Drop void terms

- Fixes #8.
- Lays the groundwork for #5.