This implements a union of two values. Uses the existing option under the hood, and adds a simple helper function.