Union side effects 2

Merged Ronan Lamy requested to merge branch/union-side-effects-2 into branch/default

The non-controversial part of pull request #477 (closed). Creates and tests union().

Merge request reports