Changes to base

Changes to base:
commit 2cf7397a1c1627b328d48b78495ee58e4ce84f7a
Author: Richard Eisenberg <eir@cis.upenn.edu>
Date:   Wed Oct 30 16:32:06 2013 -0400

    Add new module Data.Type.Bool, defining &&, || and Not.

    This change was necessary given the instances for (==) in
    Data.Type.Equality. These need conjunction, and a local
    definition of conjunction doesn't work if a client is reasoning
    about equality. Both the client and the library need the
    same conjunction, so that is what Data.Type.Bool provides.