[project @ 2005-02-23 13:46:43 by simonpj]

[project @ 2005-02-23 13:46:43 by simonpj]
---------------------------------------------
	Make type synonyms uniform with data types
	so far as infix operators are concerned
	---------------------------------------------

	Merge to STABLE

This allows

	type (a :+: b) c d = ...

which was prevented before by accident.

I've also documented the fact that classes can be infix;
and arranged that class constraints in types can be in infix form.
	f :: (a :=: b) => ....