Expand type synonyms during role inference