While `|` would be preferred, in macros, `expr` matches may include `|`
and therefore may not be followed by `|`. The only other options are
`,`, `;`, or `=>`. The comma is already used for separating variants and
the arrow for the variant/string separation. Semicolon is the only one
left, but it is also used for "or" in Prolog.