From Reasoning Traces to Reusable Modules: Understanding Compositional Generalization in Language Model Reasoning