Rust project goals: Immobile types and guaranteed destructors