tree 8f95387d8325f1548aa0fb2941b441103ae1b192
parent 547369d3d881a9eb1de0d3e368f9a59aa7c648b0
author Jakob Degen <jakob.e.degen@gmail.com> 1646530624 -0500
committer Jakob Degen <jakob.e.degen@gmail.com> 1648074848 -0400

Clarify which kinds of MIR are allowed during which phases.

This enhances documentation with these details and extends the validator to check these requirements
more thoroughly. As a part of this, we add a new `Deaggregated` phase, and rename other phases so
that their names more naturally correspond to what they represent.