Trait.mli: Set up types for traits.