Oi Iago, tudo bem?
No código da aula, a variável ListaTelas é um tipo que define as telas disponíveis na sua aplicação. Cada tela é representada por uma chave e o valor dela é undefined. Por exemplo, a tela "Login" é representada pela chave "Login" e o valor é undefined. Essa estrutura é utilizada para tipar a navegação entre as telas utilizando o React Navigation.
Já a tipagem NavigationProps é utilizada para definir as propriedades de navegação que são passadas para cada tela. No caso do trecho de código da aula, a propriedade navigation é do tipo NativeStackNavigationProp e a propriedade route é do tipo RouteProp. Essas tipagens são utilizadas para garantir que as telas recebam as propriedades corretas de navegação.
Quanto à sua segunda dúvida, o trecho ({navigation}:NavigationProps<'Explorar'>) é uma desestruturação de objeto em JavaScript. Ele está extraindo a propriedade navigation do objeto NavigationProps<'Explorar'>. Isso é feito para facilitar o acesso à propriedade navigation dentro da função.
Um abraço e bons estudos.