Changed VDM records to be represented as records in the OO AST instead of inner classes.