It sounds like you're looking for Scheme (well, except for the "less powerful" stuff).
Finally, the reason Lisps haven't had much traction over the past 50 years is the Von Neumann computing model proved very useful on anemic hardware and languages such as C were designed to this model. Today's hardware is forcing us to rethink our approach. That's why the Lisps, especially Clojure, have recently gained a lot of traction. You ma want to revisit these languages again.