> f there had been very good free versions of Common Lisp 20+ years ago, then I think the language would be more popular today.
This fails to understand a few things. Good versions of Common Lisp did exist 20+ years ago, even free ones. But Common Lisp implementations tend to be complex systems and thus its not easy to to get this financed over a long time.
Common Lisp was unpopular between 90s and 2000. A new generation of developers had to rediscover it to revive some of it: SBCL, ECL, ...
> Today Pharo Smalltalk really is a wonderful programming environment and it is free. In the 1980s and 1990s it was very expensive to get a Smalltalk programming environment.
Common Lisp has many free and good implementations today.
If you look at Pharo Smalltalk, it's nice, but it has the same limitations like Squeak and other implementations: it looks and feels non-native. That's because the UI is non-native.