Isomorphism types in NFU are sets of relations of a given type-level, making cross-level ordinal ope...