Coherent Typhon English Spec

[isheff]

After drafting each of its components, revise the Typhon English Spec so all the components match up properly, and it is, in a sense, complete. Ideally, this would match up with the relevant formal specs and prototypes.

Prerequisites

• [ ] https://github.com/anoma/typhon/issues/41
• [ ] https://github.com/anoma/typhon/issues/54
• [ ] https://github.com/anoma/specs/issues/123
• [ ] https://github.com/anoma/typhon/issues/48

Sub-Tasks

• [ ] Review mempool spec
• [ ] Review heterogeneous paxos spec
• [ ] Review Execution Engine Spec
• [ ] Review Chimera Chain Spec
• [ ] Internal review