Update .ghci
Simplify tests