Moving parts of functional into the new, more suitable prelude.
Changed identity function to work on const refs.
Initial implementation of Foldable concept.
Foldable instance for lists.
Removed misguiding documentation.