Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, and arith.