Ensure we use the compacting smart constructors for sequences. Now we run in (roughly) linear time with the size of the input.