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

forked-upstream-packages-for-ghcjs/ghc,shlevy/ghc,ezyang/ghc,oldmanmike/ghc,vTurbine/ghc,nathyong/microghc-ghc,oldmanmike/ghc,nushio3/ghc,lukexi/ghc-7.8-arm64,vikraman/ghc,frantisekfarka/ghc-dsi,snoyberg/ghc,AlexanderPankiv/ghc,spacekitteh/smcghc,ml9951/ghc,nushio3/ghc,GaloisInc/halvm-ghc,tibbe/ghc,oldmanmike/ghc,gcampax/ghc,hferreiro/replay,jstolarek/ghc,jstolarek/ghc,nkaretnikov/ghc,fmthoma/ghc,olsner/ghc,mfine/ghc,vTurbine/ghc,tibbe/ghc,anton-dessiatov/ghc,ghc-android/ghc,ezyang/ghc,mettekou/ghc,lukexi/ghc,ml9951/ghc,anton-dessiatov/ghc,AlexanderPankiv/ghc,ghc-android/ghc,wxwxwwxxx/ghc,fmthoma/ghc,sdiehl/ghc,ml9951/ghc,gridaphobe/ghc,tjakway/ghcjvm,snoyberg/ghc,mettekou/ghc,elieux/ghc,gcampax/ghc,sgillespie/ghc,gridaphobe/ghc,hferreiro/replay,olsner/ghc,nathyong/microghc-ghc,nkaretnikov/ghc,jstolarek/ghc,green-haskell/ghc,sgillespie/ghc,shlevy/ghc,ghc-android/ghc,mfine/ghc,forked-upstream-packages-for-ghcjs/ghc,vikraman/ghc,mcschroeder/ghc,elieux/ghc,vTurbine/ghc,GaloisInc/halvm-ghc,oldmanmike/ghc,sdiehl/ghc,elieux/ghc,wxwxwwxxx/ghc,anton-dessiatov/ghc,holzensp/ghc,vikraman/ghc,christiaanb/ghc,lukexi/ghc-7.8-arm64,acowley/ghc,ghc-android/ghc,snoyberg/ghc,lukexi/ghc,sgillespie/ghc,frantisekfarka/ghc-dsi,green-haskell/ghc,da-x/ghc,ml9951/ghc,wxwxwwxxx/ghc,mfine/ghc,gridaphobe/ghc,nathyong/microghc-ghc,vTurbine/ghc,urbanslug/ghc,christiaanb/ghc,tibbe/ghc,mcschroeder/ghc,mfine/ghc,siddhanathan/ghc,wxwxwwxxx/ghc,sdiehl/ghc,hferreiro/replay,tjakway/ghcjvm,GaloisInc/halvm-ghc,urbanslug/ghc,ryantm/ghc,da-x/ghc,fmthoma/ghc,christiaanb/ghc,TomMD/ghc,oldmanmike/ghc,anton-dessiatov/ghc,ml9951/ghc,TomMD/ghc,sdiehl/ghc,AlexanderPankiv/ghc,forked-upstream-packages-for-ghcjs/ghc,sgillespie/ghc,gcampax/ghc,frantisekfarka/ghc-dsi,tjakway/ghcjvm,acowley/ghc,mettekou/ghc,bitemyapp/ghc,acowley/ghc,TomMD/ghc,mfine/ghc,anton-dessiatov/ghc,GaloisInc/halvm-ghc,lukexi/ghc,mfine/ghc,hferreiro/replay,nushio3/ghc,sgillespie/ghc,lukexi/ghc,nathyong/microghc-ghc,ezyang/ghc,ezyang/ghc,spacekitteh/smcghc,elieux/ghc,gcampax/ghc,acowley/ghc,lukexi/ghc-7.8-arm64,GaloisInc/halvm-ghc,urbanslug/ghc,acowley/ghc,forked-upstream-packages-for-ghcjs/ghc,frantisekfarka/ghc-dsi,sdiehl/ghc,ezyang/ghc,ml9951/ghc,anton-dessiatov/ghc,forked-upstream-packages-for-ghcjs/ghc,da-x/ghc,lukexi/ghc,vikraman/ghc,nkaretnikov/ghc,mcschroeder/ghc,vikraman/ghc,ryantm/ghc,spacekitteh/smcghc,hferreiro/replay,vTurbine/ghc,christiaanb/ghc,olsner/ghc,frantisekfarka/ghc-dsi,hferreiro/replay,tibbe/ghc,da-x/ghc,TomMD/ghc,holzensp/ghc,spacekitteh/smcghc,sgillespie/ghc,nathyong/microghc-ghc,vTurbine/ghc,wxwxwwxxx/ghc,shlevy/ghc,lukexi/ghc-7.8-arm64,acowley/ghc,tjakway/ghcjvm,nushio3/ghc,forked-upstream-packages-for-ghcjs/ghc,nushio3/ghc,bitemyapp/ghc,nkaretnikov/ghc,jstolarek/ghc,ryantm/ghc,TomMD/ghc,nathyong/microghc-ghc,green-haskell/ghc,vTurbine/ghc,ghc-android/ghc,ml9951/ghc,da-x/ghc,green-haskell/ghc,ghc-android/ghc,gcampax/ghc,gridaphobe/ghc,ezyang/ghc,shlevy/ghc,mcschroeder/ghc,sdiehl/ghc,ghc-android/ghc,wxwxwwxxx/ghc,siddhanathan/ghc,mettekou/ghc,nushio3/ghc,forked-upstream-packages-for-ghcjs/ghc,holzensp/ghc,tjakway/ghcjvm,oldmanmike/ghc,TomMD/ghc,urbanslug/ghc,AlexanderPankiv/ghc,acowley/ghc,nkaretnikov/ghc,bitemyapp/ghc,holzensp/ghc,oldmanmike/ghc,gridaphobe/ghc,shlevy/ghc,gcampax/ghc,nathyong/microghc-ghc,AlexanderPankiv/ghc,AlexanderPankiv/ghc,green-haskell/ghc,snoyberg/ghc,mettekou/ghc,ryantm/ghc,fmthoma/ghc,fmthoma/ghc,urbanslug/ghc,mcschroeder/ghc,tjakway/ghcjvm,fmthoma/ghc,nkaretnikov/ghc,mettekou/ghc,nkaretnikov/ghc,ezyang/ghc,snoyberg/ghc,lukexi/ghc-7.8-arm64,shlevy/ghc,holzensp/ghc,jstolarek/ghc,christiaanb/ghc,bitemyapp/ghc,GaloisInc/halvm-ghc,siddhanathan/ghc,fmthoma/ghc,olsner/ghc,siddhanathan/ghc,vikraman/ghc,shlevy/ghc,hferreiro/replay,AlexanderPankiv/ghc,siddhanathan/ghc,elieux/ghc,sgillespie/ghc,ml9951/ghc,elieux/ghc,christiaanb/ghc,gridaphobe/ghc,anton-dessiatov/ghc,christiaanb/ghc,gcampax/ghc,mettekou/ghc,olsner/ghc,urbanslug/ghc,nushio3/ghc,wxwxwwxxx/ghc,gridaphobe/ghc,bitemyapp/ghc,da-x/ghc,siddhanathan/ghc,TomMD/ghc,ryantm/ghc,snoyberg/ghc,GaloisInc/halvm-ghc,olsner/ghc,mcschroeder/ghc,olsner/ghc,tjakway/ghcjvm,spacekitteh/smcghc,urbanslug/ghc,tibbe/ghc,siddhanathan/ghc,elieux/ghc,vikraman/ghc,sdiehl/ghc,mcschroeder/ghc,da-x/ghc,snoyberg/ghc,mfine/ghc