added compact toString() for parse trees