Added a PrimeField class along with tests. This class is supposed to take over the coefficient code in PolyRing.