Then if they are just a library artifact, should the terms TypeTuple and \ ExpressionTuple be present in the language reference? Maybe 'tuple' can slip in, since it is a more generic term, but even that is doubtful since it causes people to hunt through the reference to see what facilities D provides.