Ensure that sequences are associatively equal by value.
Remove now useless comment.
Ensure we use the compacting smart constructors for sequences.