Add a simple repr-triples function