Minor documentation and indentation/layout fixes to SpecConstr
Minor documentation and indentation/layout fixes to SpecConstr

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