Update tlc.lua

Added type checking functions