Fix commit for Cabal
Started removing superKind.
Further work on removing BOX. (Added implicit tyvars).
Merge branch 'nokinds-newstuff' into nokinds

Conflicts:
	compiler/basicTypes/DataCon.lhs
	compiler/prelude/TysPrim.lhs
	compiler/prelude/TysWiredIn.lhs
	compiler/typecheck/TcHsType.lhs
	compiler/typecheck/TcMType.lhs
	compiler/types/Type.lhs
	libraries/Cabal
Removing superKind...