Consider moving sequences into `lists` package

[lowasser]

Since finite-sequences are there now, it might make sense, though I suppose lists currently only contains finite structures.

[fredrik-bakke]

This seems like a sensible suggestion to me. Certainly, it would make sense to put streams (#1368) in lists.