We typically use `type_id` rather than `typeid`.