More changes about Standard_Boolean -> bool transition