M7 through M10: the remaining tiers, the funnel to a human, and the PEP 545 language-switcher set.
M0 through M6: the toolchain, the deterministic half, the fleet, the glossary, and tier 1 translated and reviewed.