Faster execution of 'In' proof
Checkpoint (read broken) commit
File no longer carries a data closure
Fix issues with timeline using new file format
small proof term for malicious tar proof
Remove unused definition
Reduce size of timeline proof term