Infix data constructors should be printed infix when case splitting

[mpickering]

For example, here is the generated code for lists. Even if there is just a special case for lists it would be better I think.