I don't think that's what we wants. MoonScript would be like CoffeeScript for Lua, in that it adds some nice syntactical simplifications that one might or not enjoy, but does not fundamentally change the semantics of the language.
TypeScript adds type annotations that try to catch compile-time errors.
