Fixtype of points on the secp256k1 curve.
This is a product type introduced by fty::defprod.
Points consist of two coordinates that are elements of the field. We do not require the point to be on the curve for now.
Since the point (0,0) does not satisfy the curve equation, it can be used to represent the point at infinity (see secp256k1-point-infinityp.
