Transformations: eliminate alias types