This might be revealing my ignorance, but if we're going for statically typed "scripting languages", why not implement an ML like SML?