Added Field capabilities

As the first step in a row-reduction program over general fields, I have
created a "Field" class.  The "GroupOperation" class is an invertible
binary operation with an identity element.  ModularAddition and
ModularMultiplication are example operations; together, they can be used
to create a field of integers modulo a prime.