WLS: added descriptions for unions, intersections and negation types.