Handle type synonyms in ghc->core translation
Simplify 'wrapper' heuristic for inlining wrapper functions