Current snapshot as of 2013-10-26. Implemented some of the abstract
operations in Chapter 9, and cleaned up code and tests.