Synchronizes with wording and sketch progress mechanism in motivation/design section

[brycelelbach]

• Add synchronizes-with wording.
• Sketch a design for an executor progress mechanism in the motivation/design section.
• Describe the problems we are trying to solve briefly in motivation/design section.