I don't see any reason that adding a CHERI target needs to be blocked on having a concrete answer to this semantics question, honestly it will likely help to give us a better picture of what our pointer/integer types actually mean.
At this point you could probably start a minimal PR to add the target (recent example) and get moving things toward the action phase. At least that would help get to a more definitive answer for what the teams see as blocker or not.