Function check_declarations_collect_errors 

pub fn check_declarations_collect_errors(
    env: &mut Environment,
    decls: Vec<Declaration>,
) -> BatchCheckResult

Check multiple declarations, collecting all errors rather than stopping at first.

Unlike check_declarations, this function continues even after encountering errors, and returns a summary of all results.