Solucionado
Baixei o projeto, instalei o JBoss. O projeto já não encontrou coisas simples, que eu tive de pedir para o eclipse encontrar os pacotes. Outros, como javax.el, nem o eclipse encontra. @Model ele sublinha em vermelho e não encontra solução para o problema. Tudo isso impossibilita que eu compile. O projeto veio completo? Meu eclipse está desatualizado? O que fazer?
hoje, com a Alura e o Google Gemini
(não tem como editar, vai aqui na resposta) Faltou o jar do JSF, só havia o do Primefaces. Ainda assim, não sei quais são todos os jars que faltam. Vou sair procurando. javax.faces agora compila. Algumas das anotações não, e nem o javax.el. Acho que é um erro no arquivo que disponibilizaram. (isso que da ser o primeiro a fazer o curso, hehehe)
Baixei todos os .jars necessários e funcionou. Solucionado! Vai ver eu perdi algum detalhe da vídeo aula. Foi mal pelo "flood".
Encerrada questão!