Changed chapter name and label.
One more instance of chapter name change.
Changed file name to reflect changed contents.
Replace MIR by HIR where appropriate and renamed section label.