Added comments and explainer output.

[dtonhofer]

Added lots of comments to make this problem clearer. Also added code to generate "explainer output" when a solution has been found. Note that there is a typo which remains: "leave" instead of "leaf" but I left this as-is.