6.5.3 Sequence

This introduces a new sequence given a function. The sequence introduced this way must not have been used, and the final argument of the given function must be the bound variable of the sentence.