More updates to the VDM Unit library due to type checker changes, #346