Fix a bug in desugaring type aliases