[red-knot] Resolve symbols from builtins.pyi in the stdlib if they cannot be found in other scopes#12390