Change Format::UnionNondet to be consistent with Union.

[mikeday]

This change shifts the variant label syntax sugar to a helper function, which simplifies the core format language.