Gradually typed embeddable scripting language derived from Lua
