Lots of documentation cleanup today, and still more type_sanity tests.
Attach a file by drag & drop or click to upload
