[GHC] #12536: Clarify commentary surrounding unboxed tuples and kind invariant