Update the README
Update the .ghci file