Merge pull request #281 from dpvc/issue280

Don't force the result of adding two sets to be a Union.  #280

lib/Value/Set.pm

@@ -95,7 +95,7 @@ sub promote {
 #
 sub add {
   my ($self,$l,$r) = Value::checkOpOrderWithPromote(@_);
-  $self->Package("Union")->new($l,$r);
+  return Value::Union::form($self->context,$l,$r);
 }
 sub dot {my $self = shift; $self->add(@_)}