Function export_lean_bundle_structured 

pub fn export_lean_bundle_structured(
    module_name: &str,
    bundle: &ObligationBundle,
) -> LeanExport

Export a whole bundle as structured Lean module metadata plus source.