Unordered tuple

A special tuple constructor (a, b) where a and b are different, i.e., non-unifyable, types. A tuple where order does not matter. Extraction is done with a special overloaded function which detects the type of the desired result.