added Characteristic instances and FiniteField class