added toString method to terms.