pub type Base = Fq;
Represents an element of the base field $\mathbb{F}_q$ of the Jubjub elliptic curve construction.