Changes to base(4)

Changes to base:
commit 034558f360beeceabb1cf4346cca5fcc23986079
Author: Richard Eisenberg <eir@cis.upenn.edu>
Date:   Tue Oct 22 11:32:33 2013 -0400

    Apply Gabor Lehel's suggestions.

commit fd86260a585f2cf69ca4e6fbc9bf03206f9b4f70
Author: Richard Eisenberg <eir@cis.upenn.edu>
Date:   Sun Oct 20 23:44:29 2013 -0400

    Name change `CoercionT` to `CoercionType`, and addition of `repr`.

    `repr` converts a `(:~:)` to a `Coercion`. Name changes are as discussed
    on http://ghc.haskell.org/trac/ghc/wiki/TypeLevelNamingIssues

commit ce797a40f6c92d248f8d593e762da2e4d088c10a
Author: Richard Eisenberg <eir@cis.upenn.edu>
Date:   Sun Oct 20 23:43:16 2013 -0400

    Name changes and addition of gcastWith and (==) to Data.Type.Equality.

    For more info, see
    http://ghc.haskell.org/trac/ghc/wiki/TypeLevelNamingIssues

commit e5591c482f897ff48f988d1487c5cc1c4e5cc96d
Author: Richard Eisenberg <eir@cis.upenn.edu>
Date:   Sun Oct 20 17:02:19 2013 -0400

    Changed export list to create better haddock. Added eqT to exports.