Start documentation.
Checkpoint: refactor core interfaces, add documentation.
Checkpoint.
Finished refactoring Proof.