Give clauses a nicer string representation