refactor(ivc): use same types in protogalaxy & cyclefold

**Motivation**
During the implementation of #369, the types for protogalaxy & cyclefold differed in form but not in substance

**Overview**
Simple refactoring with removing identical structures and using in ivc::cyclefold types from ivc::protogalaxy

src/ivc/cyclefold/mod.rs

@@ -1,7 +1,7 @@
-use halo2_proofs::halo2curves::ff::{FromUniformBytes, PrimeFieldBits};
 use std::num::NonZeroUsize;
 
 use crate::{
+    halo2_proofs::halo2curves::ff::{FromUniformBytes, PrimeFieldBits},
     main_gate::MainGateConfig,
     poseidon::{poseidon_circuit::PoseidonChip, PoseidonHash, ROTrait, Spec},
 };