Another work-in-progress commit on EagerSeq.