Fix typing rule for intersection distributor

The original one was wrong, please check. Have not yet checked subject reduction/reflection...