You are quite correct that many no-code and low-code systems are actually a collection of pre-built modules, which can be combined into certain space of variations, but that when you lack the fundamental underlying primitives, you bump into what some refer to as the "brick wall" of the walled garden that one lives inside with that tool. I see 2 key challenges for the next gen winning language, which is to permit the era of interchangeable parts, and to allow code transfer between people, as many existing languages make it very hard to understand someone else's program, particularly as the programs grow in size. There is an exponential increase to the difficulty of understanding programs; not sure if it is N to the 1.2, N squared, but it is somewhere in that range by my intuition. I would love to see a scientific study establishing this exponent.