Symbol: check_type_and_id_spec