Comments and questions from Simon and Dimitrios
Merge branch 'type-nats' of git://git.haskell.org/ghc into type-nats

Conflicts:
	compiler/types/Coercion.lhs