Add TambaraYamagami for ZN

[BramVancraeynest]

I added a new sector representing the Tambara-Yamagami fusion category with underlying abelian group $$\mathbb Z_N$$. The implemented fusion rules and F-symbols are known analytically in the literature.

I have made the following choices

• The sector is called simply TambaraYamagami, and the underlying group $$\mathbb Z_N$$ is thus left implicit in the name. I did so to not overload the naming, and because I do not plan to implement other Tambara-Yamagami categories in the (near) future.
• The case TambaraYamagami{2,1}, should correspond to IsingAnyon. I did not check this explicitly, but it passes all the tests. However, TambaraYamagami{2,1} in its current implementation is not endowed with a braiding, since this is the only $$\mathbb Z_N$$ Tambara-Yamagami category that admits one.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

Files with missing lines	Coverage Δ
src/TensorKitSectors.jl	16.66% <ø> (ø)
src/ty.jl	100.00% <100.00%> (ø)

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[lkdvos]

Looks great!

Left some small suggestions in the code, but I think everything looks more or less perfect.

Additional questions:

• Does it make sense to define modulus like we do for ZN to return the value of N, to avoid having to access the type parameters?
• Do you have time to also include a documentation section for this, even if it is somewhat terse?
• Are there certain versions that you imagine using somewhat often, for which it makes sense to add them to the precompilation list here:

  TensorKitSectors.jl/src/TensorKitSectors.jl

  Lines 92 to 96 in 09e76e6

  	for I in (
  	Trivial, Z2Irrep, Z3Irrep, Z4Irrep, ZNIrrep, U1Irrep, SU2Irrep, CU1Irrep,
  	FermionParity, FermionNumber, FermionSpin, PlanarTrivial, FibonacciAnyon,
  	IsingAnyon, TimeReversed{IsingAnyon}, TimeReversed{FibonacciAnyon},
  	)

[BramVancraeynest]

Implemented almost all the suggested changes for now, except the modulus. Added some documentation, which I put in a new folder docs/other, since these categories are generically not braided, nor grouplike.
I don't have specific small-N use-cases in mind for which precompilation would make sense.

[lkdvos]

To me this looks ready. There is only one comment left by @Jutho, for which I don't really have any strong opinions so I would be happy to merge as-is.