Changes to ghc

Changes to ghc:
commit 332eba9d3ff63365818310767a1766370343dcb0
Author: Twan van Laarhoven <twanvl@gmail.com>
Date:   Tue Oct 15 20:38:58 2013 +0100

    Added comments to BooleanFormula to explain the expression simplifier. (#7633)