extcore-0.8: Libraries for processing GHC Core