Added test for generation of 'dom' unary expression
Added map type to function that determines whether a given type is a value type
Removed VDMCollection interface
Added generation of 'dom' unary expression (for maps)