Стесняюсь спросить, а что такое «умные указатели»?

И это by design. У переменной уже есть имя.

Ну, дак в голове можно было сделать:

DIMENSION VARS(4)
EQUIVALENCE (TEMP1,VARS(1)),(TEMP2,VARS(2)),(DENS,VARS(3)),(MASS,VARS(4))

повеяло absolute из TP/BP

И для этого тоже используется COMMON. Вы просто в новом контексте объявляете тот же COMMON, который содержит VARS(4), но перечисляете по именам значения массива.

Тоже классный способ иметь именованный COMМОN блок, но объявленный с разными идентификаторами, ссылающимися на один объект в памяти. Можно проводить оптимизацию по переиспользованию одного блока под разные нужды! Даже тип соблюдать не нужно.

cons не позволяет сделать что угодно с этим адресами

А зачем что угодно делать с этими адресами?

прямо написано, что колцевые списки (circular lists) не разрешены

Это проблема ГЦ, а не cons. Сделать такой список в принципе возможно (т.е. сама абстракция работает).

Лоусона с своей статье как хочет играет с «POINTER»

В ассемблере тоже можно играть как хочешь. Это недостаток вообще-то с точки зрения ЯВУ.

Ещё раз для тех кто в бронепоезде: идея косвенной адресации и разных структур основанных на этом существовала очень давно. То что в это прикрутили в PL/1 не является «изобретением указателей». Если я соберу тележку из говна и палок, и приделаю к ней колёса, то это не будет изобретением колеса. Это будет решением проблемы приделывания колёс к моей тележке.

Стесняюсь спросить, а что такое «умные указатели»?

Мну один прочел «чумные указатели»?

Почитай:

1. METANIT.COM: Smart-указатели. unique_ptr
2. Лекция. Умные указатели. Наследование.
3. proglib.io: Умные указатели в C++

Это как раз BLISS и есть, переменная всегда адрес, разименование всегда через точку