Our programming languages are far too low level, and have been for a long time.

I've long held this view, LLMs are fairly clear evidence that this is true, because it looks like the much, much more compact prompt(s) have enough information content to create a much larger program in our current languages.

So it should be possible to create a non-natural language with the same information density.