Update GHC core section a bit
Rewrite GHC Core section a bit