Added Arc Equation definitions and Arc Addition Axiom, and incorporated arcs into the transitive substitution class. Tested the theorem congruent chords have congruent arcs (and vice versa). Page309Problem09 demonstrates usage of this theorem and the arc addition axiom.