Document permutation prover types

[ed255]

The following types don't have any comments; it would be nice to have some notes on what each type is:

halo2/halo2_proofs/src/plonk/permutation/prover.rs

Lines 21 to 42 in 73408a1

	pub(crate) struct CommittedSet<C: CurveAffine> {
	pub(crate) permutation_product_poly: Polynomial<C::Scalar, Coeff>,
	pub(crate) permutation_product_coset: Polynomial<C::Scalar, ExtendedLagrangeCoeff>,
	permutation_product_blind: Blind<C::Scalar>,
	}
	pub(crate) struct Committed<C: CurveAffine> {
	pub(crate) sets: Vec<CommittedSet<C>>,
	}
	pub struct ConstructedSet<C: CurveAffine> {
	permutation_product_poly: Polynomial<C::Scalar, Coeff>,
	permutation_product_blind: Blind<C::Scalar>,
	}
	pub(crate) struct Constructed<C: CurveAffine> {
	sets: Vec<ConstructedSet<C>>,
	}
	pub(crate) struct Evaluated<C: CurveAffine> {
	constructed: Constructed<C>,
	}