Changed records in the OO AST to allow methods to be specified. Naturally, the VDM model will not add any, but the semantics of the OO AST allows it. This can be of convenience when generating code for languages that need to incoorporate the semantics of records via extension methods (e.g. for cloning)