Add v4 alias block to simple model

A new annotation has been added, V4_ALIASES, since this block may be confusing for general use, and is only of use to Voila so that it may use new-style aliases.

Equivalence merging uses a union strategy - all aliases are merged into a single set across all equivalent content.