Nomenclature change: cstr -> trait

    We're calling these things traits now, although they really are
    just constraints over types.