Rust project goals: Immobile types and guaranteed destruc...