Added one more test to exercise generation of the cases statement
Added test to exercise generation of the return statement when the expression is union typed
Added generation of the return statement when the return statement is union typed
Added support for generation of the error statement
Make assistants in factory transient.
Remove factory from RecordValue.

[Issue: ]
Updates to test results related to generation of the tuple pattern
Added a few tests revealing problem with generation of the tuple/record pattern when the conditional expression in a cases statement/expression is of a union type
Updated Tuple library class with functionality to check tuple compatibility against types
Added fix for generation of the cases statement/expression when the conditional expression is union typed.
Merge remote-tracking branch 'origin/ncb/development' into pvj/main
Updated test results. Mostly line ending issues/reordering of errors. However, more errors have been added to the result files of the fighter-07 model due to latest changes to the type checker regarding type checking of abstract classes.
Changes needed to the VDM Unit library classes due to recent changes to type checking of abstract classes, #346
More updates to the VDM Unit library due to type checker changes, #346
Add updates to libs that had been made in IDE versions.

[Issue: ]
Merge remote-tracking branch 'origin/ldc/quickies' into pvj/main
Merge remote-tracking branch 'origin/pvj/main' into ncb/development