Added functionality for handling Angle/Arc equations, including transitive substitution and simplification. Modified relevant circle theorems to use the AngleArc equation.