Module fields
Represents a variable in the constraint system whose value can be an arbitrary field element.
Represent variables corresponding to a field element in F.
F