Argh. I always forget that discourse requires top posting. I think I
was just saying that the expression which follows a match is also a
subset of full expressions; for example, it cannot be a struct literal
or a block expression. I believe this helps avoid the ambiguity you
were referring to.