Function explain_contract_markdown 

pub fn explain_contract_markdown(
    contract: &Contract,
    stem: &str,
    binding: Option<&BindingRegistry>,
) -> String

Generate a markdown explanation with headers and LaTeX math.