>> Names have no types... Because variables have no types...
> Я считаю, что это для более легкого понимания так написали.

Сильно зависит от того, что понималось под 'variable' в том контексте.

> На низком уровне идентификатор `a` привязан к адресу в памяти, к-й содержит
> указатель на некий объект класса `int`. И так со всеми переменными.

Да, Вы правы, что все имена связываются с участками памяти через указатели. Разница лишь в том, когда происходит разыменование имени в указатель. В компилируемых языках зачастую разыменование происходит на этапе компиляции, и когда Вы, например, собрали программку на C, ей для выполнения уже и не нужно знать, что данная область памяти была в исходном коде связана с неким именем `a`. Правда, можно сохранять эти имена (их называют дебаг-символами) для отладочных нужд. В интерпретируемых языках эти имена придётся сохранять в любом случае.

> Т.е. все переменные являются указателями -- имеют тип, причем один и
> тот же на протяжении их жизни. Что, по сути, является признаком
> статической типизации, если придраться.

Да, разница между статической и динамической типизациями заключена как раз в том, может ли связывание имени и типа меняться вместе с контекстом выполнения.