add tail-recursive SUM for EVAL, and use the tail-rec LENGTH

this modifies list_compset, and what is added to the_compset by
listTheory. LEN appeared to have been defined but not used.