The section on type kinds talks about sendable type kinds, but does not mention the name of the sendable kind.