Fix desugaring and pretty printing of type rules with multiple patterns.