Added new functionality for Universal set

Can now accept "All" or All in place of listU (which will cause listU to
be the Union of lists A and B), and otherwise, will display the number
(if any) of elements of Union[A, B] which are not in listU.