I started working on an embeddable, byte-compiled dialect of Standard ML after coming to the realization that Lua with types (as I conceive of it) is extremely similar to ML, but I've had to put it on the backburner for now. But, I agree: a typed language that can be used as an embeddable extension/scripting language would be cool.