Implement/document/test thytype_abbrev This function allows better control of type abbreviations in their theory namespaces.