Adapted Refinement.Isomorphism and Ornament.Isomorphism to use PartOfIso.