CoreExprEquality -> Equality
Use of Cabal CPP pragmas means we start GHCI with cabal repl
Add used flag to Lemmas