Fix #13399 by documenting higher-rank kinds.