Excluded function library from documentation generation and fixes some more errors on descartes documentation