Intermediate commit: two tests pass
Trying to fix the seq/list discrepancy
Failure up to now.