Changes needed to the VDM Unit library classes due to recent changes to type checking of abstract classes, #346