refine names of types, fields, type-arguments