Changes to ghc base(3)

Changes to ghc:
commit 65aa60b5409e0932ff771c54383ba8f8c133991b
Author: Iavor S. Diatchki <diatchki@galois.com>
Date:   Tue Mar 18 18:54:23 2014 -0700

    Implement ordering comparisons for type-level naturals and symbols.

    This is done with two built-in type families: `CmpNat and `CmpSymbol`.
    Both of these return a promoted `Ordering` type (EQ, LT, or GT).

    (cherry picked from commit 5e4bdb5fc5e741522cbb787731422da3f12aa398)

Changes to base:
commit 065aef8da36a16bb23f07b298ccd63ed2a64f7fe
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Thu Mar 27 16:47:16 2014 +0100

    add /Since/ annotation

    (cherry picked from commit 090ca42d43578310fe033df0a21134370dc6ddc3)

commit 4a33679b04de66d89cf67fb25fcff55e0c428b8d
Author: Iavor S. Diatchki <iavor.diatchki@gmail.com>
Date:   Sun Mar 23 17:10:38 2014 -0700

    Comments only.

    Fix the documentation on CmpSymbol and CmpNat; add a note on (<=?).

    (cherry picked from commit 5edb063688e73ec00fd1f61ac0e8317dd122f44a)

commit fca6b0b9ee8371e4cbd440a802a21886f1f2d630
Author: Iavor S. Diatchki <diatchki@galois.com>
Date:   Tue Mar 18 19:35:05 2014 -0700

    Add functions for comparing type-level Nats and Symbols.

    (cherry picked from commit c1d3546420ee482bbbd9f15d45a6e8a26304d419)