Expande sinônimos de tipos no AST do Template Haskell
