type-union function definition in wd-08

Line 4443, reword for multiple arguments.

NOW: This function SHALL take two or more arguments that are both a bag
of 'type' values.

NEW: This function SHALL take two or more arguments, each of which is a
bag of 'type' values.

Thanks,
--Paul