Simplify readExpr & liftThrows with 'either' function
Wrap or shorten lines > 80 chars
Avoid binding unused variables in eqv & equal
Replace in eqv: 'return $ Bool' -> 'return . Bool'
Refactor REPL functions for clarity