Removed case-reduce-id.
Fixed some name-shadowing warnings.
Merge 2cc5de269bbcf9c047f14e590b680132a179a125
Corrected help info.
Add Strictness tag
Add ability to generate WW assumption A as a lemma
Simplify assumption A generation a bit
Factor out expression construction. Add other ww assumptions.
Add application-of command
Add HasDynFlags instance for Transform
Add buildApplicationM, for building applications of polymorphic functions.
Allow rewrites to generate lemmas.
GHC 7.6 fixed
Eliminated deprecated usages of Error if mtl ≥ 2.2.1
Put lemmas into Kernel as state.
Remove QueryLemma
Safe-subst documentation.
Fixed make ghci
CoreExprEquality -> Equality
Use of Cabal CPP pragmas means we start GHCI with cabal repl