Implemented counted_term_t.