Refactor

Rewrite the corpus implementation to add proper transaction support (improves correctness, enables future switch to database), sensible version management, introduce "rollback safety" concept.

Add tests for core functionality.