tweak case pretty-printing: allow free variables

actual free variables on the collapsed right-hand-sides are harmless,
the thing to avoid is including any of the pattern-variables.