Implementation of the startlist statement of VDM++
+test
Minor cleanup in codegen