Add better documentation for the Prelude.