There are so many shallow comments for this deeply thought out, 7 year effort to date. If the rest of the 'to do' items gets tackled, implemented in prototypes, and made into proposals as some of the work to date has been handled, this has the best chance of being a true C++ successor.

The goal is nothing more than fulfilling these B. Stroustrup quotes:

"Inside C++, there is a much smaller and cleaner language struggling to get out." (1994)

"Say 10% of size of C++ in definition and front-end compiler size. ... Most of the simplification would come from generalization." (2007)

There's a summarization at 1:14:39[0] where concepts are listed on the left, and C++ syntax for handling these concepts in different contexts are on the right. The point of this effort is reduce the accidental complexity syntax on the right by refactoring it into concise uniform syntax. This effort is broad and much more than sugar, e.g. eliminating forward declarations. The talk up to that time is giving examples of the work that has been done in many of those areas, with remaining to-do's listed.

Basically the language that is being extracted is the actual language that current C++ programmers really think in, but don't have a more concise way of writing than C++.

[0] https://youtu.be/ELeZAKCN4tY?t=6099