Moved utility functionality related to generation of sequences to a new 'Seq' class. This commit also covers the necessary updates made to the affected templates
Added test revealing a problem with indexing of a String returned by an operation
Added fix for indexing of a string returned by an operation
Added specification test exercising generation of sequences
Added test revealing problem with generation of sequence indexing
Added fix for generation of sequence indexing
Added tests for generation of the set enumeration expression
Added generation of the set enumeration expression
Introduced a VDM collection interface and moved some code general to all collections into a VDMCollection class
Added a VDMSet Java class representing generated VDM sets
Added test for generation of 'card' operator
Added generation of 'card' unary expression
Updated test results for generation of map enumeration expression
Moved functionality related to maps to a 'MapUtil' class
Updated test results for generation of sequences
Moved functionality related to sequences into a 'SeqUtil' class
Renamed 'len' node in the OO AST to 'size' as it is being used for both generatin of the 'len' and 'card' operators
Added expression tests for generation of set comparison (equal and NOT equal) as well as the 'in set' operator
Added generation of set comparison (equal and NOT equal) and the 'in set' operator
Added tests for generation of set comparison when comparing to the empty set