Add a trait `Trait`. Close #242.