TermList implements Comparable