Add failing test-case for printing of case exprs

Issue is that the overload information is not present in the exported
grammar deltas because they are handled (badly) by the type-info writing
machinery associated with the TypeBase. The fix will be to separate
these out.