WLS: added glossay entries for union, intersection and negation types.