Traits

Specifies how to convert a variable of type Self to variables of type FpGadget<F>