Fix GH-9516: (A&B)|D as a param should allow AB or D. Not just A.

The issue was that we didn't compute enough cache slots for DNF types.
Nor progressed throught the CE's in the cache slo

Fix GH-9516: (A&B)|D as a param should allow AB or D. Not just A.

The issue was that we didn't compute enough cache slots for DNF types.
Nor progressed throught the CE's in the cache slot, meaning we were only checking if the value passed
satisfied the first type of the nested intersection type.

show more ...