Unbreak the stage-2 compiler (record-type changes)