Исходя из названия "переменная" она должна меняться, а если она константная, она уже не меняется, как называть её?

Зависит от контекста.

В императивных языках всё построено на ячейках памяти, содержимое которых меняется по мере выполнения последовательности команд (или даже извне). Поэтому первична переменная, а ей противопоставляется константа - "такая же ячейка памяти, только её значение не меняется". Этот подход призван упростить чтение кода и человеком, и компилятором, но он противоречит самой идее императивного программирования (если это ячейка памяти, то она по определению изменяемая, а иначе как туда вообще значение поместить), поэтому с константами в императивных языках всегда связаны проблемы.

В декларативных языках нет понятия изменяемой памяти и нет понятия переменной, а как в математике, идентификатор связывается с выражением. Правильный термин для него - "значение", "value", сокращённо - "val". В языках, поощряющих декларативный стиль, "val" является отдельным ключевым словом и используется чаще, чем "var".

Потому лучший вариант - идентификатор. Хотя, таких моментов умолчания много, н-р i=i+1
Это абстракция, как математическая точка. Буквально относиться никак не получится

Почему не меняется? Переменная, которой запрещено меняться в процессе работы кода (в памяти read-only). Для i сегодня задал одно значение, при следующем запуске - другое. Потому людям и сложно

Она не ДОЛЖНА меняться, она ПОТЕНЦИАЛЬНО МОЖЕТ измениться.
Переменные "просто так", которые не меняются и вообще в программе не нужны ни для чего, кроме как для вызова требующего их метода, в программировании всетречаются довольно часто.

меняющаяся переменая

Константа, постоянный коэффициент.