Added code in CongruenceClassProver to create an instance of the new Sequent class.
Added TransformationChoose parameter to CongruenceClassProver.
Added Sequent class.
Fixed bug in SimpleTransformerFitnessFunction.  Code was trying to modify a final Set.