Update tlc-types.lua