Overhauled LuaTypeSet, which is now a product lattice.