Prune dead code.

Closes #16.