Rust project goals: Immobile types and guaranteed destructors

Part of

Rust SeqLock And Concurrency Issues