Undefined type

O composer.json tá igual o que você deixou na atividade. O projeto é o que você deixou pra download. Já tentei composer update, composer install. Já tentei mudar para Doctrine\ORM\ORMSetup

Undefined type 'Doctrine\ORM\EntityManagerInterface'. Undefined type 'Doctrine\ORM\Tools\Setup'. Undefined type 'Doctrine\ORM\EntityManager'.

{
    "require": {
        "doctrine/orm": "^2.12",
        "doctrine/dbal": "^2.13",
        "doctrine/annotations": "^1.13",
        "symfony/yaml": "^5.4",
        "symfony/cache": "^5.4"
    },
    "autoload": {
        "psr-4": {
            "Alura\\Doctrine\\": "src/"
        }
    }
}