Should this be renamed PetscObjectTypeCompare, since it operates on PetscObjects?<div>Dmitry.</div>