extcore-1.0.2: Libraries for processing GHC Core