Added lattice for LuaTypeSet. The FunctionType lattice is still incomplete,
though. And probably the most complicated one because we probably also have
to take into account type coercion and such.