- Simplified some classes which were from an earlier generic
implementation
- Some documentation update
- This is a version that actually compiles ^^
- Threw away old tests (they don't work with the new version of ZK)