doc/refintro.tex: Hoist $\epsilon$ to the top of the metasyntax section.