Sorry just to make sure I understand this, we're not concerned about the case when a token is part of a sort that is a subsort of a sort containing KLabels? That doesn't cause anything to break if it happens?