Function desugar_book 

pub fn desugar_book(
    book: &mut Book,
    opts: CompileOpts,
    diagnostics_cfg: DiagnosticsConfig,
    args: Option<Vec<Term>>,
) -> Result<Diagnostics, Diagnostics>