Allocation/Checkpoint 3rd Drafts

(Hopefully) these are almost final.