Don't flatten tuples from HsSyn
This paves the way for #16881 (closed) by designing a clean specification for when (not) to flatten 1-tuples and then making everything adhere to the specification. See Note [Don't flatten tuples from HsSyn]
in MkCore. See also the commit message.