Static Analyser for Lua Types