add Enumerable instance of Data.Sign.Sign
define PrettyCoeff instance for PrimeField type
add Data.Polynomial.Factorization.FiniteField module