didn't lisp prove the opposite? you can go lower than c and higher than any language we currently have in the same language?
If anything Lisp current adoption proves that aiming to tackle both ends of the spectrum in a single language might not be a good idea.
https://en.wikipedia.org/wiki/Rule_of_least_power
Also, Lisp is the most powerful at constructing programs but that means it's the least powerful in the field of making sure your program actually does what you wanted it to - that's what types, borrow checking, proof assistants and so on are for.
(Some people think Lisp is declarative because it's homoiconic but that's not true - you can't find out what a Lisp macro does without executing it.)