Symbol: type_check