Rust

Rust through Ops domains: type-state, ownership for key handling, sealed traits, newtype invariants.