uLang::SemanticTypeUtils::AreDomainsDistinct

Determine whether there two types are distinct; i.e. that there are no values that are members of both types.