Introduced {...} notation for tuples.

A tuple {...} has this property:
	{...} f  =  f ...

For example:
	{} f  =  f
	{x} f  =  f x
	{x y} f  =  f x y
	{x y z} f  =  f x y z