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.