Unambiguous choice operator. Equivalent to the ambiguous choice
operator, but with arguments restricted to be equal where not bottom,
so that the choice doesn't matter. See also
Race two actions against each other in separate threads, and pick
whichever finishes first. See also
amb. Thanks to Spencer Janssen
for this simple version.