Symbol: type_exists