Winding Number Theory

Barrel file re-exporting the three submodules:

• Defs — angle definitions, crossing angle theorems, translation
• CrossingAnalysis — monotonicity, cutoff boundaries, direction convergence
• Decomposition — H-W Prop 2.2, main decomposition theorems