Fixing #3483 (graceful failing with notations to non-constructors in "match").
Chapter 4: Fixing ambiguity about whether the return predicate refers
explicitly or implicitly to the variables in the as and in clauses +
formatting.