unions for value domains, fixes #263