Doc

This branch ports a lot of defdoc documentation to xdoc, most notably the ihs documentation.  It also reworks most of the coi/osets library to be includes of the std/osets library with some additional lemmas on top.