What tools do we have for measuring the size of an expression? I know about conssize (defined in compar.lisp), but conssize doesn't work on cre expressions. I was looking at the source for fullratsubst and thought it might be reasonable to stop the substitution when the expression gets "bigger." Currently, fullratsubst can loop forever. Barton