syntax.rst: Describe sequence capture, rewrite syntactic assertions