where is `NormType` defined? Is it from PETSc?