Rust type system