pub type Ff1 = Fp;
The foreign field we are emulating (one of the two)
struct Ff1(pub BigInt<4>);
0: BigInt<4>