Currently, Flick provides certain hooks so that presentation generators can "tune" the union discriminator values that
appear in the top levels of the mint tree. This means that the translation from aoi to mint is not entirely independent of the
presentation generator being used. This should be fixed in the future, perhaps through support for flexible naming in aoi and
mint as described in Section 4.5.