macro 展開されたコードは当然元のソースとは別にパースされるし、タイプチェッカーはそれを知っているので仕様さえ決めればなんとでもなるっちゃなるはず。が、この特定の件に関しては別に「macro の制限だから typealias 使えないです」で良くないかとは個人的には思っちゃう。