Add union tests
Add simple as aliasing support