Fixes and tests arising from namespacing tyabbrevs

Document how to remove/disable-printing-for all type abbreviations of a
given name, or a specific abbreviation from a given theory.

Tests for this. Final cleanup for #168 I hope.