Incorporated Semicircles into the component calculator and the theorem 'Congruent Arcs Have Congruent Chords'. Also added detection of arc congruencies in the coordinate precomputer, so now congruent arcs can be used as a goal for book problems.