More docs work

A new template for routines, added docs for a couple of assertion
routines, and began the long job of standardizing the style of the docs