Updated some test results related to generation of sets
Fix for generation of the Set type which incorrectly refferrd to the Java 'Set' type rather than the 'VDMSet' type provided by the library code
Added tests for generation of set unions
Added generation of set union