want to migrate [...] to an EMPTY [...] 't have to exist) that
Union : UNION Zahl : INT [...] Alias : INT (0..100); END [...] Type.Alias, "INT (0..100