Support disjunction of realdoms when hinting.