Fix the tuple–product problem

[evincarofautumn]

People have been confused as to when they ought to use products and when tuples. We can eliminate the distinction:

• (1, "two", 3.0) should have type Int & [Char] & Float
• 1-tuples don’t need to exist
• The tuple type syntax is redundant