Boom & ghc-core
Add core files