Remove the difficult manual walking of the alias tree and make the
code easier to read and less likely to break if a new type is added.