Os :

Oi Camila, tudo bem?

O símbolo : que você mencionou não serve para instanciar algo, ele é um Type Hint, indicando que a variável "lista" deve ser do tipo lista. É como se fosse uma dica de qual tipo de dado essa variável deve receber.

Por exemplo, na função media(lista: list) -> float:, o : após lista indica que o parâmetro lista deve ser do tipo list. Da mesma forma, a seta -> float indica que a função retorna um valor do tipo float.

Isso não tem relação com variáveis globais. É apenas uma forma de documentar o tipo esperado, o que ajuda na legibilidade e na manutenção do código. Não é obrigatório, mas é uma boa prática, principalmente em projetos maiores ou colaborativos.

O link está em inglês, mas você poderá utilizar a tradução automática do navegador

Espero ter ajudado.

Qualquer dúvida que surgir, compartilhe no fórum. Abraços e bons estudos!