Lazy length computation in DEFINE-SEQUENCE-TRAVERSER