An Optional Type System for Lua