Here we introduce the domain parameters (p,a,b,G,n,h) of the curve,
as nullary functions.
For the generator point G,
we introduce two nullary functions (for the x and y coordinates),
to facilitate the use of different representations of points.
All these nullary functions have values that are natural numbers.
