adds simple pretty printing to TermSet