annotation can add a trait definition now