fix type synonym expansion