Проверка типов