In `core.rc` the 'Reexported core operators' and 'Reexported types and traits' sections should not exist. These are part of the prelude module now.