As discussed at #25402 (comment) and #20402 (comment), we should find better names for traits defined in traits.jl, since they are the only ones whose names start with Type. Here's a list with suggestions:

• TypeOrder (possible choices: HasOrder/Unordered) -> OrderStyle (Ordered/Unordered), HasOrder (Ordered/Unordered) or IsOrdered (Ordered/Unordered)
• TypeArithmetic (ArithmeticRounds/ArithmeticOverflows/ArithmeticUnknown) -> ArithmeticStyle or ArithmeticAccuracy (BTW, it would make sense to add ArithmeticExact and divide overflow into ArithmeticWrapsAround/ArithmeticSaturates.)
• TypeRangeStep (RangeStepRegular/RangeStepIrregular) -> RangeStep or RangeStepStyle