Add traits about cobalt-lang HOT 1 OPEN

trait_c is considered equal to trait_d if and only if implementing trait_c is necessary and sufficient to implement trait_d. For example, taking the traits as defined above,

trait trait_c = trait_b;
trait trait_d = trait_a + trait_b;

The reason trait_c == trait_d is because trait_a < trait_b, so trait_a + trait_b <= trait_b + trait_b == trait_b. But also trait_b <= trait_a + trait_b (trait addition has the same semantics as adding positive integers).

Should these compare as equal? Like how type defines a new type while const defines an alias, shouldn't trait define a new trait (that needs to be chosen to be implemented), while const simply aliases a collection?

from cobalt-lang.