Relations type|synthetic, member|synthetic, nestedtype-outertype+,
topleveltype.