Pollards half of checkpoint.

Update to main schedule, (typo) edits to proposal.