type system + data Structures
Traits, crates, modules