Symbol: is_pointer_type