A fast, small, safe, gradually typed embeddable scripting language derived from Lua