Code Editor : type_checkers.lua