Minor documentation fixes

Ghost Userrequested to merge
archived_projects/coq-stdpp:docfixes into master

Corrected typeclass names in some of the documentation.

Merge request reports