More docs for prelude libraries

WIP

Tried to add code examples for each function. They might not have the best style, or you may know  easier to read ones, suggestions are welcome.

Also: Is it legal to lift descriptions from Haskell docs?
Do we use the same 'overloaded' terminology for this in Idris?