Module explanation 

Structs

Explanation

Complete explanation with steps

ExplanationBuilder

Explanation builder that tracks the proof process

ExplanationStep

Step-by-step explanation of reasoning

Enums

StepResult

Result of an explanation step