Улучшены семантические проверки: переобъявление переменных и функций