kronecker_array: remove a unneeded overflow check, add some clarifications in the comments
and minor doc improvements.