GFqDom should not require element size twice as big as the cardinality

[ClementPernet]

So far, GFqDom<int32_t> only represents finite fields of fewer than 16 bits.
This is only required at the creation the tables.
Instead, one could use another type at this phase.