add a note about ghci
add a blank linke between sections in exports
add an example in the documentation
bump version