Fix printing of record types.
A further bug in eta rule for records.

Once again, there were some forgotten shifts. The shifts are really
easy to forget. How could we defend against this particular problem? I
wonder if this will make @JasonGross happy with regards to issue #39