The sequence size must be fixed at compile time. A policy could
be used to limit the size value.
According to static properties, some information about a
sequence (e.g. maximum size, starting position, current position) could
be forgotten.
The sequence head is on the left side, this is the first element
to pop. According to the sequence kind, the push operation add an
element on either the head or the tail of the sequence.
If the modifier is not used, a sequence is a LIFO sequence.
