Added some guide lines for using folds efficiently
Explicit export lists for better docs
Added safe haskell
More documentation clean ups