Oh! I'm curious to hear more of your thoughts on Lua. I'm now considering embedding a sandboxed, IO-less, computation-budgeted scripting language, and Lua crossed my mind, since it was motivated by embedding. But... I don't actually have any experience with it.