Илья Корень

for (let i = 0; i < animals.length; i++) animals[i] = `Прекрасное животное ${animals[i]}`;

1. В целом понимание правильное, но не до конца.

2. return count++ вернет 0, и после этого увеличит счетчик. Если бы было return ++counter;, то вернулось бы уже измененное значение. Читайте разницу префиксного и постфиксного инкремента.

3. makeCounter() вызывается дважды, дальше идут вызовы counter1 или counter2, LE которых было создано при вызове makeCounter.