Function resolve_recovering 

pub fn resolve_recovering(
    commons: Commons,
) -> (ResolvedCommons, Vec<CompileError>)

resolve, returning the symbol table with every resolve error rather than instead of it (#1663, Decision A). A resolve error is local to the declaration it is in, so the checker can still check every declaration — an unknown name in b no longer hides a type error in a. The table is complete apart from what the errors name (a duplicate keeps its first declaration). A caller that emits must still refuse on any error.