-----------------------
	Type defaulting in GHCi
	-----------------------

	[Merge to stable branch, I think.]

[Part 2 to this commit: add Eq and Ord, to allow

	[] == []

at the prompt.


      Extend type defaulting in GHCi so that

	ghci>  []
	[]

      works.  Suggested by Ralf Hinze.