Dispatch on type aliases?

I know that this currently doesn’t work, I am asking if adding this has any technical difficulty. It’s a neat feature to have. It should probably use a new keyword like typealias foo = bar if it is to be added.