rewrite bootstrapping stages

[mightyiam]

Following from #1458.

This may be too much to review. So I will extract smaller pull requests from it and rebase as they are merged. The first of them, #1555, is already merged (thank you!). This will remain a draft until it is small enough to be reviewed.