A Basic Inductive Type Comparison: Rust, Lean, C, C++